| Paul R. Halmos |
|
R. S. Pierce |
1966 |
| Propositional calculus |
P. H. Nidditch |
G. Hasenjaeger |
1965 |
| Axiomatics. English translation of XXIII 438, by G. B. Keene |
Robert Blanché |
Hugues Leblanc |
1965 |
| The development of mathematical logic |
P. H. Nidditch |
G. Hasenjaeger |
1965 |
| Principia mathematica to *56. A reprint of 1941 as far as *56, including 1944, 1945, 1947 |
Alfred North Whitehead and Bertrand Russell |
Charles Parsons |
1965 |
| Relation of m-valued quantificational logic to 2-valued quantificational logic |
Burton Dreben |
Atwell R. Turquette |
1965 |
| Bolzano's logic |
Jan Berg |
Leon Miller |
1965 |
| The formalization of mathematics |
Hao Wang |
Steven Orey |
1965 |
| Foundations of intuitionistic logic |
G. Kreisel |
Abraham Robinson |
1965 |
| Some problems and results relevant to the foundations of set theory |
Alfred Tarski |
Thomas Frayne |
1965 |
| Ferruccio Rossi-Landi. Universo del discorso e lingua ideale in filosofia. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
1965 |
| Preface |
Yehoshua Bar-Hillel |
J. Lambek |
1965 |
| Theory of formal systems |
Raymond M. Smullyan |
Marian Boykan Pour-El |
1965 |
| Solvable Surányi subclasses: an introduction to the Herbrand theory |
Burton S. Dreben |
Peter Andrews |
1965 |
| Introduction à la logique. French translation of XII 61 by Jacques A. Tremblay |
Alfred Tarski |
Alfons Borgers |
1965 |
| Inductive probability |
John Patrick Day |
Harry Stopes-Roe |
1965 |
| Giuseppe Vaccarino. L'implicazione stretta e la logica delle modalità. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
1965 |
| Truth definitions and consistency proofs |
Hao Wang |
Steven Orey |
1965 |
| Some remarks on infinitely long formulas |
L. Henkin |
Thomas Frayne |
1965 |
| Process and existence in mathematics |
Hao Wang |
Elliott Mendelson |
1965 |
| Elements of mathematical logic. English translation of 1866 by Olgierd Wojtasiewicz |
Jan Łukasiewicz |
Alfons Borgers |
1965 |
| Some formal details on predicative set theories |
Hao Wang |
Steven Orey |
1965 |
| Between number theory and set theory |
Hao Wang |
Steven Orey |
1965 |
| Uberto Scarpelli. I fondamenti e il metodo della analisi del linguaggio. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
1965 |
| The elementary character of two notions from general algebra |
Robert Vaught |
Thomas Frayne |
1965 |
| Circuit synthesis by solving sequential Boolean equations |
Hao Wang |
Steven Orey |
1965 |
| Some partial systems |
Hao Wang |
Steven Orey |
1965 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Leon Henkin |
1965 |
| Francesco Barone. La terapia semantica. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
1965 |
| A. Menne. Preface of the editor. Logico-philosophical studies |
Albert Menne |
J. A. Faris |
1965 |
| Robert R. Stoll |
|
G. T. Kneebone |
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 |
1964 |
| An introduction to modern logic. An elementary textbook of symbolic logic |
William H. Halberstadt |
Theodore Hailperin |
1964 |
| Foundations of set theory |
Abraham A. Fraenkel and Yehoshua Bar-Hillel |
J. R. Shoenfield |
1964 |
| Partial systems of number theory |
Hao Wang |
Steven Orey |
1964 |
| Mathematical induction |
Leon Henkin |
Theodore Hailperin |
1964 |
| The anthmetization of metamathematics |
Hao Wang |
Steven Orey |
1964 |
| The logical basis of axiom systems |
John M. Anderson and Henry W. JohnstoneJr., Natural deduction |
Donald Kalish |
1964 |
| R. Montague |
|
G. Hasenjaeger |
1964 |
| Ackermann's consistency proof |
Hao Wang |
Steven Orey |
1964 |
| Semantic analysis |
Paul Ziff |
Paul Benacerraf |
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 |
1964 |
| Scientific inference |
Harold Jeffreys |
Abraham Robinson |
1964 |
| Retracing elementary mathematics |
Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh |
Theodore Hailperin |
1964 |
| Different axiom systems |
Hao Wang |
Steven Orey |
1964 |
| Degrees of unsolvability |
Gerald E. Sacks |
Gustav B. Hensel |
1964 |
| Mathematical logic |
Willard Van Orman Quine |
Frederic B. Fitch |
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., 1963, |
Arthur E. Murphy |
Alonzo Church |
1964 |
| Introduction to logic |
Irving M. Copi |
Donald Kalish |
1964 |
| Computation |
Harry R Lewis |
Jean H Gallier |
1964 |
