| Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol |
D. Hilbert and W. Ackermann |
F. H. Fischer |
The Journal of Symbolic Logic |
1960 |
| Les fondements logiques des mathématiques. Deuxième édition revue et augmentée |
E. W. Beth |
Abraham Robinson |
The Journal of Symbolic Logic |
1960 |
| Une machine pour l'algèbre des contacts |
Heinz Zemanek |
Clifford Spector |
The Journal of Symbolic Logic |
1960 |
| Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques |
Jean Ladrière |
Donald Monk |
The Journal of Symbolic Logic |
1960 |
| The moral philosophy of Richard Price |
Lennart Åqvist |
M. J. Cresswell |
The Journal of Symbolic Logic |
1960 |
| Joseph Gerard Brennan |
|
F. B. Fitch |
The Journal of Symbolic Logic |
1960 |
| Completeness proofs for the intuitionistic sentential calculus |
Dana Scott |
Gene F. Rose |
The Journal of Symbolic Logic |
1960 |
| Introductory Formal Logic of Mathematics |
P. H. Nidditch |
Gert Heinz Müller |
The Journal of Symbolic Logic |
1960 |
| Time and Modality |
A. N. Prior |
S. Kanger |
The Journal of Symbolic Logic |
1960 |
| On Human Communication |
Colin Cherry |
Donald J. Hillman |
The Journal of Symbolic Logic |
1960 |
| Einführung in die mathematische Logik. Teil I. Aussagenkalkül |
G. Asser |
H. Hermes |
The Journal of Symbolic Logic |
1960 |
| A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956) |
R. H. Urbano and R. K. Mueller |
Thomas H. Mott |
The Journal of Symbolic Logic |
1960 |
| Logic and psychology |
Jean Piaget |
Carl G. Hempel |
The Journal of Symbolic Logic |
1960 |
| Fact, fiction, & forecast |
Nelson Goodman |
R. M. Martin |
The Journal of Symbolic Logic |
1960 |
| Psychology of judgment and choice: A theoretical essay |
Frank Restle |
Alonzo Church |
The Journal of Symbolic Logic |
1960 |
| Communication, organization and science. With a foreword by C. A. Muses |
Jerome Rothstein |
Leon Henkin |
The Journal of Symbolic Logic |
1960 |
| Facts and Logic |
Chapter I. Theory of Scientific Method |
Arnold Brecht |
Political Theory |
1959-12-31 |
| The Groundwork of Modern Logic D. D. Mahulkar |
Rudolf Carnap |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1959-10-00 |
| Methods of Logic, Revised edition |
Willard Van Orman Quine |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1959-07-00 |
| Logic and the Nature of Reality |
Louis O. Kattsoff |
P. L. Heath |
Philosophy |
1959-07-00 |
| A Modern Introduction to Logic |
Ralph M. Eaton |
Clyde L. Hardin |
Philosophy of Science |
1959-04-01 |
| A modern introduction to logic |
John W. Blyth |
Clyde L. Hardin |
Philosophy of Science |
1959-04-01 |
| Preface |
Alfred Tarski |
Martin Davis |
The Journal of Symbolic Logic |
1959 |
| Charles Sanders Peirce: 1839–1914 |
Frederic Harold Young |
Rulon Wells |
The Journal of Symbolic Logic |
1959 |
| Quelques observations sur I'usage des méthodes non finitistes dans la méta-mathématiques |
Andrzej Mostowski |
Leon Henkin |
The Journal of Symbolic Logic |
1959 |
| Preface |
A. E. Heath |
Michael Dummett |
The Journal of Symbolic Logic |
1959 |
| Logique mathématique appliquée |
H. Freudenthal |
James G. Renno |
The Journal of Symbolic Logic |
1959 |
| Truth ઈ denotation. A study in semantical theory |
R. M. Martin |
Richard Montague |
The Journal of Symbolic Logic |
1959 |
| Jacques Riguet. Le calcul des relations en tant qu'outil méthodologique. La méthode dans les sciences modernes |
François LeLionnais, Travail et méthodes. Revue technique mensuelle de la direction et de l'organisation des entreprises. Numéro hors série |
Gene F. Rose |
The Journal of Symbolic Logic |
1959 |
| La logique moderne |
Jean Chauvineau |
F. H. Fischer |
The Journal of Symbolic Logic |
1959 |
| Axiomatic set theory |
Paul Bernays |
Elliott Mendelson |
The Journal of Symbolic Logic |
1959 |
| Self-referential relations |
Frederic B. Fitch |
A. N. Prior |
The Journal of Symbolic Logic |
1959 |
| Methods of Logic |
Willard Van Orman Quine |
Raymond M. Smullyan |
The Journal of Symbolic Logic |
1959 |
| On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953) |
G. Kreisel |
William Craig |
The Journal of Symbolic Logic |
1959 |
| La méthode formelle en mathématique |
Jean Porte |
Steven Orey |
The Journal of Symbolic Logic |
1959 |
| On definability and derivability |
G. Hasenjaeger |
Thomas Frayne |
The Journal of Symbolic Logic |
1959 |
| Appendix V. Some additions to Morris R. Cohen's bibliography of Peirce's published writings |
Max H. Fisch and Daniel C. Haskell |
Rulon Wells |
The Journal of Symbolic Logic |
1959 |
| Ippan isô-Boole-soku ni tuite (On the general topological Boolean lattice) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1959 |
| Translator's introduction |
Francis C. Wade |
Alonzo Church |
The Journal of Symbolic Logic |
1959 |
| Les idées actuelles sur la structure des mathématiques |
Daniel Lacombe |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1959 |
| Walter A. Coole |
|
A. F. Bausch |
The Journal of Symbolic Logic |
1959 |
| Sur la théorie algébrique des mécanismes automatiques: Synthèse des schemas à relais polarisés |
G. C. Moisil |
Calvin C. Elgot |
The Journal of Symbolic Logic |
1959 |
| A first course in modern logic |
Edith Watson Schipper and Edward Schuh |
Hugues Leblanc |
The Journal of Symbolic Logic |
1959 |
| Semantiske problemer i logik og lingvistik (Semantic problems in logic and linguistics). Nordisk Sommeruniversitet 1953. Vetenskapens funktion i samhället. (Moderne Videnskab. Orientering og debat |
Paul Diderichsen |
Anders Wedberg |
The Journal of Symbolic Logic |
1959 |
| Gödei's proof |
Ernest Nagel and James R. Newman |
Th. Skolem |
The Journal of Symbolic Logic |
1959 |
| Tagen-Boole-hôteisiki to kakutyô sareta Poretsky no kôsiki ni tutte (On the Boolean equation with many variables and the extended Poretsky formula) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1959 |
| Max H. Fisch and Jackson I. Cope |
|
Rulon Wells |
The Journal of Symbolic Logic |
1959 |
| Peirce's contribution to the logic of statements and quantifiers |
George D. W. Berry |
Rulon Wells |
The Journal of Symbolic Logic |
1959 |
| Juristische Logik |
Ulrich Klug |
Gert Heinz Müller |
The Journal of Symbolic Logic |
1959 |
| Sur l'algèbre des prédicats |
L. Nolin |
Leon Henkin |
The Journal of Symbolic Logic |
1959 |
