| Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus |
R. L. Goodstein |
Th. Skolem |
Journal of Symbolic Logic |
1958 |
| Zarys logiki dla prawników (An outline of logic for lawyers) |
Jan Gregorowicz |
Zdzisław Kraszewski |
Journal of Symbolic Logic |
1958 |
| James T. Culbertson |
|
E. J. McCluskey |
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 |
Journal of Symbolic Logic |
1958 |
| Relaisschalttechnik für Stark- und Schwachstromanlagen. Translated by Kirill Keller |
M. A. Gawrilow |
E. F. Moore |
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 |
Journal of Symbolic Logic |
1958 |
| Logic workbook |
James Wilkinson Miller |
Charles A. Baylis |
Journal of Symbolic Logic |
1958 |
| Introduction to mathematical logic. Volume I. Second printing |
Alonzo Church |
S. C. Kleene |
Journal of Symbolic Logic |
1958 |
| Hypothèse du continu |
Wacław Sierpiński |
Alonzo Church |
Journal of Symbolic Logic |
1958 |
| Initiation à la logique. Collection de logique mathématique, ser |
Le R. P. Dubarle |
John van Heijenoort |
Journal of Symbolic Logic |
1958 |
| Development and applications of the “projective” classification of sets of integers |
Andrzej Mostowski |
G. Hasenjaeger |
Journal of Symbolic Logic |
1958 |
| Principles of right reason |
Henry S. Leonard |
James Wilkinson Miller |
Journal of Symbolic Logic |
1958 |
| Eine Übersicht und eine Auseinandersetzung über die Metaphern |
|
Alf Nyman |
Theoria |
1957-12-01 |
| Seele und Beseeltes. Phaenomenologische Untersuchungen über das Problem der Seele in der metaphysischen und empirischen Psychologie Stephan Strasser |
S. U. |
ס. א. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-10-00 |
| Psychologie und Philosophie des Wollens Wilhelm Keller |
S. U. |
ס. א. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-10-00 |
| On the Logic of "Better". Library of Theoria no. 2 Sören Halldén |
Y. B. H. |
י. ב—ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-10-00 |
| Man as an Animal W. C. Osman Hill |
J. Leibovitch |
ישעיהו ליבוביץ |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-10-00 |
| Man and Materialism: A Commentary on Human Affairs. World Perspectives, vol. viii Fred Hoyle |
Y. B. H. |
י. ב—ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-10-00 |
| Doppelgänger Mensch. Philosophie und Moral des Zugleich Hans Lohberger |
S. H. B. |
ש. ה. ב. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-10-00 |
| Plato's Philosophy of Mathematics |
A. Wedberg |
W. K. C. Guthrie |
Philosophy |
1957-10-00 |
| Nature and Judgment |
Justus Buchler |
Philippa Foot |
Philosophy |
1957-10-00 |
| Ontologie der Kultur; Eine Einfürung in die Meontologie |
Otto Samuel |
אהרן גרינהוט |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-07-00 |
| The Structure of Metaphysics |
Morris Lazerowitz |
Karl Britton |
Philosophy |
1957-07-00 |
| Conceptual Thinking, a Logical Inquiry |
Stephan Körner |
J. O. Urmson |
Philosophy |
1957-07-00 |
| Logic and scientific methods. An introductory course |
Herbert L. Searles |
G. B. Keene |
Philosophy |
1957-04-01 |
| Knowledge, Will and Belief, Collected Essays Erich Frank Ludwig Edelstein |
Erich Frank |
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-04-00 |
| Automatic Control. A Scientific American Book |
G. Polya |
א. י. י. פ. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-04-00 |
| The Philosophy of Nature |
Andrew G. Van Melsen |
Herbert Dingle |
Philosophy |
1957-04-00 |
| The Life of Reason or Phases of Human Progress |
George Santayana |
L. J. Russell |
Philosophy |
1957-01-01 |
| Nature, Mind and Modern Science |
Errol E. Harris |
D. A. Rees |
Philosophy |
1957-01-01 |
| Mathematics and Plausible Reasoning. Volume I: Induction and Analogy in Mathematics; Volume II: Patterns of Plausible Reasoning |
G. Polya |
א. י. י. פ. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-01-00 |
| Introduction to Mathematical Logic, Volume I |
Alonzo Church |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-01-00 |
| Aristotle's Criticism of Plato's "Timaeus" |
George S. Claghorn |
Norman Gulley |
Philosophy |
1957-01-00 |
| A Philosophy of Potentiality |
Leone Vivante |
M. H. Carré |
Philosophy |
1957-01-00 |
| Die typenfreie Logik und die Modalität |
Heinrich Behmann |
Ronald Harrop |
Journal of Symbolic Logic |
1957 |
| Exercises in introductory symbolic logic. Lithoprinted from typewritten manuscript |
James Wilkinson Miller |
Charles A. Baylis |
Journal of Symbolic Logic |
1957 |
| Die Fiktion der Überabzählbarkeit |
Paul Lorenzen |
Gert H. Müller |
Journal of Symbolic Logic |
1957 |
| Yûgen tatironri no denki kairo ni yoru hyôgen ni tuite (On the representation of finitely many-valued logics by electric circuits) |
Toshihiko Kurihara |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Scientific Explanation. A Study of the Function of Theory, Probability and Law in Science |
Richard Bevan Braithwaite |
J. H. Woodger |
Journal of Symbolic Logic |
1957 |
| Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator |
Gerhard Gentzen |
John van Heijenoort |
Journal of Symbolic Logic |
1957 |
| “Counterfactual conditionals” and singular causal statements |
G. Nuchelmans |
John Watling |
Journal of Symbolic Logic |
1957 |
| Tagen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Contradiction, the logical counterpart to conflict |
Robert McNaughton |
Charles A. Baylis |
Journal of Symbolic Logic |
1957 |
| Propositions and sentences |
Alonzo Church |
Carl G. Hempel |
Journal of Symbolic Logic |
1957 |
| The representation theorem for cylindrical algebras |
L. Henkin |
Paul R. Halmos |
Journal of Symbolic Logic |
1957 |
| La structure algébrique des théories matérmatiques |
L. Henkin |
Paul R. Halmos |
Journal of Symbolic Logic |
1957 |
| Max Black |
|
Atwell R. Turquette |
Journal of Symbolic Logic |
1957 |
| Logique combinatoire et λ-conversion |
J. Barkley Rosser |
Frederic B. Fitch |
Journal of Symbolic Logic |
1957 |
| Itigen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in one variable) |
Makoto Itoh |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Ontology and the choice of languages |
L. O. Kattsoff |
Noam Chomsky |
Journal of Symbolic Logic |
1957 |
