| 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 |
| Sequential switch kairo no kihon hôteisiki (Fundamental equation for sequential switching circuits) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1959 |
| Joseph Gerard Brennan |
|
Frederic B. Fitch |
The Journal of Symbolic Logic |
1959 |
| Induktive Logik und Wahrscheinlichkeit. Translated by Wolfgang Stegmüller |
Rudolf Carnap |
Carl G. Hempel |
The Journal of Symbolic Logic |
1959 |
| On mathematics and mathematicians |
Robert Edouard Moritz |
Alonzo Church |
The Journal of Symbolic Logic |
1959 |
| Introduction à la logique contemporaine |
Robert Blanché |
John van Heijenoort |
The Journal of Symbolic Logic |
1959 |
| Transfinite Zahlen |
Heinz Bachmann |
J. W. Addison |
The Journal of Symbolic Logic |
1959 |
| Fundamentals of concept formation in empirical science |
Carl G. Hempel |
Edward Poznański |
The Journal of Symbolic Logic |
1958 |
| Graphico-mechanical aids for the synthesis of relay circuits |
Antonin Svoboda |
Robert McNaughton |
The Journal of Symbolic Logic |
1958 |
| Les idées actuelles sur la structure de la pensée logique |
Roger Martin |
John van Heijenoort |
The Journal of Symbolic Logic |
1958 |
| Gedanken-experiments on sequential machines |
Edward F. Moore |
Alonzo Church |
The Journal of Symbolic Logic |
1958 |
| Provability in logic |
Stig Kanger |
F. H. Fischer |
The Journal of Symbolic Logic |
1958 |
| Preface |
John McCarthy and Claude Shannon |
W. L. Duda |
The Journal of Symbolic Logic |
1958 |
| The theory of proper names. A controversial essay |
Alan H. Gardiner |
Charles A. Baylis |
The Journal of Symbolic Logic |
1958 |
| Logic and scientific methods. An introductory course |
Herbert L. Searles |
Alonzo Church |
The Journal of Symbolic Logic |
1958 |
| Introduction to symbolic logic |
A. H. Basson and D. J. O'Connor |
Alonzo Church |
The Journal of Symbolic Logic |
1958 |
| Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset |
A. Heyting |
Robert Feys |
The Journal of Symbolic Logic |
1958 |
| L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser |
Abraham Robinson |
Robert L. Vaught |
The Journal of Symbolic Logic |
1958 |
| Sur la structure concernant la logique moderne |
Kazuo Matsumoto |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1958 |
| A note on modal systems (II) |
Naoto Yonemitsu |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1958 |
| How I See Philosophy |
F. Waismann |
Gert H. Müller |
The Journal of Symbolic Logic |
1958 |
| The province of logic. Mind, n.s. vol. 66 (1957), p. 258. Corrections to the preceding |
William Kneale |
Maurice L'Abbé |
The Journal of Symbolic Logic |
1958 |
| Switching circuits and logical design |
Samuel H. Caldwell |
Edward F. Moore |
The Journal of Symbolic Logic |
1958 |
| The rational and the empirical |
Richard I. Aaron |
Gert H. Müller |
The Journal of Symbolic Logic |
1958 |
| Logical design of digital computers |
Phister Jr. |
Edward F. Moore |
The Journal of Symbolic Logic |
1958 |
| Effective computability of winning strategies |
Michael O. Rabin |
Patrick Suppes |
The Journal of Symbolic Logic |
1958 |
| Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique |
A. Heyting |
Leon Henkin |
The Journal of Symbolic Logic |
1958 |
| L'axiomatique |
Robert Blanché |
Th. Skolem |
The Journal of Symbolic Logic |
1958 |
| Rekursive Funktionen |
Rózsa Péter |
Raphael M. Robinson |
The Journal of Symbolic Logic |
1958 |
| La logique de l'assertion pure |
Jean de la Harpe |
Robert Feys |
The Journal of Symbolic Logic |
1958 |
| Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus |
R. L. Goodstein |
Th. Skolem |
The Journal of Symbolic Logic |
1958 |
| Zarys logiki dla prawników (An outline of logic for lawyers) |
Jan Gregorowicz |
Zdzisław Kraszewski |
The Journal of Symbolic Logic |
1958 |
| James T. Culbertson |
|
E. J. McCluskey |
The Journal of Symbolic Logic |
1958 |
| Observations métamathématiques sur les structures simplement ordonnées. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique |
E. W. Beth |
Th. Skolem |
The Journal of Symbolic Logic |
1958 |
| Relaisschalttechnik für Stark- und Schwachstromanlagen. Translated by Kirill Keller |
M. A. Gawrilow |
E. F. Moore |
The Journal of Symbolic Logic |
1958 |
| La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript |
E. W. Beth |
G. Kreisel |
The Journal of Symbolic Logic |
1958 |
| Logic workbook |
James Wilkinson Miller |
Charles A. Baylis |
The Journal of Symbolic Logic |
1958 |
| Introduction to mathematical logic. Volume I. Second printing |
Alonzo Church |
S. C. Kleene |
The Journal of Symbolic Logic |
1958 |
| Hypothèse du continu |
Wacław Sierpiński |
Alonzo Church |
The Journal of Symbolic Logic |
1958 |
| Initiation à la logique. Collection de logique mathématique, ser |
Le R. P. Dubarle |
John van Heijenoort |
The Journal of Symbolic Logic |
1958 |
| Development and applications of the “projective” classification of sets of integers |
Andrzej Mostowski |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1958 |
| Principles of right reason |
Henry S. Leonard |
James Wilkinson Miller |
The Journal of Symbolic Logic |
1958 |
| Die typenfreie Logik und die Modalität |
Heinrich Behmann |
Ronald Harrop |
The Journal of Symbolic Logic |
1957 |
| Exercises in introductory symbolic logic. Lithoprinted from typewritten manuscript |
James Wilkinson Miller |
Charles A. Baylis |
The Journal of Symbolic Logic |
1957 |
| Die Fiktion der Überabzählbarkeit |
Paul Lorenzen |
Gert H. Müller |
The Journal of Symbolic Logic |
1957 |
