| Process and existence in mathematics |
Hao Wang |
Elliott Mendelson |
The Journal of Symbolic Logic |
1965 |
| Elements of mathematical logic. English translation of 1866 by Olgierd Wojtasiewicz |
Jan Łukasiewicz |
Alfons Borgers |
The Journal of Symbolic Logic |
1965 |
| Some formal details on predicative set theories |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Between number theory and set theory |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Uberto Scarpelli. I fondamenti e il metodo della analisi del linguaggio. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
The Journal of Symbolic Logic |
1965 |
| The elementary character of two notions from general algebra |
Robert Vaught |
Thomas Frayne |
The Journal of Symbolic Logic |
1965 |
| Circuit synthesis by solving sequential Boolean equations |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Some partial systems |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Leon Henkin |
The Journal of Symbolic Logic |
1965 |
| Francesco Barone. La terapia semantica. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
The Journal of Symbolic Logic |
1965 |
| A. Menne. Preface of the editor. Logico-philosophical studies |
Albert Menne |
J. A. Faris |
The Journal of Symbolic Logic |
1965 |
| Set Theory and Its Logic. By Willard Van Orman Quine |
Quine Willard Van Orman |
John Heintz |
Dialogue |
1964-12-01 |
| A valóság zenei képe. A zene müvészi jelentésének logikája (The Musical Image of Reality. Logic of the Meaning of Musical Art) |
József Ujfalussy |
Ervin Laszlo |
Studies in Soviet Thought |
1964-12-00 |
| Mathematical Logic and the Foundations of Mathematics |
G. T. Kneebone |
J. C. Shepherdson |
The British Journal for the Philosophy of Science |
1964-11-01 |
| Classics in Logic |
Dagobert Runes |
יעקב כתריאל |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-10-00 |
| Bolzano's Logic, Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 2 |
Jan Berg |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-10-00 |
| Logic and Criticism |
William Righter |
Karl Britton |
Philosophy |
1964-10-00 |
| The Logical Systems of Leśniewski. Studies in Logic and the Foundations of Mathematics |
Eugene C. Luschei |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-07-00 |
| Set Theory and its Logic |
Willard Van Orman Quine |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-07-00 |
| Logic — Techniques of Formal Reasoning |
Donald Kalish |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-07-00 |
| Introductory Formal Logic of Mathematics |
B. H. Nidditch |
Jon Wheatley |
Dialogue |
1964-03-01 |
| Class Logic: A Programed Text |
John W Blyth |
D. L. C. Maclachlan |
Dialogue |
1964-03-01 |
| Robert R. Stoll |
|
G. T. Kneebone |
The Journal of Symbolic Logic |
1964 |
| Philotheus Boehner. Ockham's theory of supposition and the notion of truth. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham |
Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts |
Ernest A. Moody |
The Journal of Symbolic Logic |
1964 |
| An introduction to modern logic. An elementary textbook of symbolic logic |
William H. Halberstadt |
Theodore Hailperin |
The Journal of Symbolic Logic |
1964 |
| Foundations of set theory |
Abraham A. Fraenkel and Yehoshua Bar-Hillel |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1964 |
| Partial systems of number theory |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1964 |
| Mathematical induction |
Leon Henkin |
Theodore Hailperin |
The Journal of Symbolic Logic |
1964 |
| The anthmetization of metamathematics |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1964 |
| The logical basis of axiom systems |
John M. Anderson and Henry W. Johnstone Jr., Natural deduction |
Donald Kalish |
The Journal of Symbolic Logic |
1964 |
| R. Montague |
|
G. Hasenjaeger |
The Journal of Symbolic Logic |
1964 |
| Ackermann's consistency proof |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1964 |
| Semantic Analysis |
Paul Ziff |
Paul Benacerraf |
The Journal of Symbolic Logic |
1964 |
| Philotheus Boehner. Ockham's Tractatus de praedestinatione et de praescientia Dei et de futuris contingentibus and its main problems. A reprint of VII 46. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham |
Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts |
Ernest A. Moody |
The Journal of Symbolic Logic |
1964 |
| Scientific Inference |
Harold Jeffreys |
Abraham Robinson |
The Journal of Symbolic Logic |
1964 |
| Retracing elementary mathematics |
Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh |
Theodore Hailperin |
The Journal of Symbolic Logic |
1964 |
| Different axiom systems |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1964 |
| Degrees of unsolvability |
Gerald E. Sacks |
Gustav B. Hensel |
The Journal of Symbolic Logic |
1964 |
| Mathematical logic |
Willard Van Orman Quine |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1964 |
| American philosophy in the twentieth century. Reason and the common good, Selected essays of Arthur E. Murphy, Prentice-Hall, Inc., Englewood Cliffs, N.J |
Arthur E. Murphy |
Alonzo Church |
The Journal of Symbolic Logic |
1964 |
| Introduction to Logic |
Irving M. Copi |
Donald Kalish |
The Journal of Symbolic Logic |
1964 |
| Computation |
Harry R Lewis |
Steven Orey |
The Journal of Symbolic Logic |
1964 |
| Philosophical problems of many-valued logic |
A. A. Zinov′ev |
Atwell R. Turquette |
The Journal of Symbolic Logic |
1964 |
| Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959) |
J. W. Addison |
Donald L. Kreider |
The Journal of Symbolic Logic |
1964 |
| Knowledge and belief. An introduction to the logic of the two notions |
Jaakko Hintikka |
Hector-Neri Castañeda |
The Journal of Symbolic Logic |
1964 |
| Introduction to model theory and to the metamathematics of algebra |
Abraham Robinson |
Carol R. Karp |
The Journal of Symbolic Logic |
1964 |
| Philotheus Boehner. Does Ockham know of material implication? A reprint of XVIII 334. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham |
Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts |
Ernest A. Moody |
The Journal of Symbolic Logic |
1964 |
| The Logic of Perfection and other Essays in Neoclassical Metaphysics |
Charles Hartshorne |
Alastair McKinnon |
Dialogue |
1963-09-01 |
| Problema sovpadenija dialektiki, logiki i teorii poznanija (po Filosofskim tetradjam V. I. Lenina) (The Problem of the Coincidence of Dialectic, Logic and Theory of Knowledge (On the Basis of Lenin's "Philosophic Notebooks")) |
A. X. Kasymžanov |
T. J. Blakeley |
Studies in Soviet Thought |
1963-09-00 |
| Principy dialektičeskoj logiki (Principles of Dialectical Logic) |
M. M. Rozental' |
T. J. Blakeley |
Studies in Soviet Thought |
1963-06-00 |
