| Une simplification de la théorie de Turing |
Jean Porte |
Clifford Spector |
The Journal of Symbolic Logic |
1960 |
| Robert R. Stoll |
|
Alfons Borgers |
The Journal of Symbolic Logic |
1960 |
| Complete theories |
Abraham Robinson |
Robert L. Vaught |
The Journal of Symbolic Logic |
1960 |
| Ordered structures and related concepts |
Abraham Robinson |
W. Peremans |
The Journal of Symbolic Logic |
1960 |
| Introduction. The revolution in philosophy, by A. J. Ayer, W. C. Kneale, G. A. Paul, D. F. Pears, P. F. Strawson, G. J. Warnock, R. A. Wollheim |
Gilbert Ryle |
José Ferrater Mora |
The Journal of Symbolic Logic |
1960 |
| Thinking things through. An introduction to logic |
Maylon H. Hepp |
Charles A. Baylis |
The Journal of Symbolic Logic |
1960 |
| Les catégories de la modalité |
André Darbon |
Robert Feys |
The Journal of Symbolic Logic |
1960 |
| J. M. Bochenski |
|
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
| Ordinal algebras |
Alfred Tarski |
Hugo Ribeiro |
The Journal of Symbolic Logic |
1960 |
| Gedenken an Heinrich Scholz |
H. Seifert |
Jean Ladrière |
The Journal of Symbolic Logic |
1960 |
| The Pragmatic Humanism of F. C. S. Schiller |
Reuben Abel |
Charles A. Baylis |
The Journal of Symbolic Logic |
1960 |
| F. H. Bradley |
R. A. Wollheim |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1960 |
| 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 |
| 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 |
