| Philosophical problems of many-valued logic |
A. A. Zinov′ev |
Atwell R. Turquette |
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 |
1964 |
| Knowledge and belief. An introduction to the logic of the two notions |
Jaakko Hintikka |
Hector-Neri Castañeda |
1964 |
| Introduction to model theory and to the metamathematics of algebra |
Abraham Robinson |
Carol R. Karp |
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 |
1964 |
| The axiomatic method |
Hao Wang |
Steven Orey |
1963 |
| Gerold Stahl. Fragenfolgen. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
David Harrah |
1963 |
| Logic: The theory of formal inference |
Alice Ambrose and Morris Lazerowitz |
Donald Kalish |
1963 |
| The fine structure of degrees of unsolvability of recursively enumerable sets |
R. M. Friedberg |
Gerald E. Sacks |
1963 |
| Abstract set theory |
Abraham A. Fraenkel |
Alonzo Church |
1963 |
| On formalization |
Hao Wang |
Steven Orey |
1963 |
| The predicate calculus. A survey of mathematical logic |
Hao Wang |
Steven Orey |
1963 |
| Alonzo Church |
|
Joyce Friedman |
1963 |
| Grundzüge der mathematischen Logik |
Heinrich Scholz and Gisbert Hasenjaeger |
Gert Heinz Müller |
1963 |
| Stoic logic |
Benson Mates |
Alonzo Church |
1963 |
| Eighty years of foundational studies |
Hao Wang |
Steven Orey |
1963 |
| Vorwort |
J. Ritter |
G. Kreisel |
1963 |
| The axiomatization of arithmetic |
Hao Wang |
Steven Orey |
1963 |
| Mathematical logic |
R. L. Goodstein |
Alan Ross Anderson |
1963 |
| Mathematics and logic |
Alonzo Church |
E. J. Lemmon |
1963 |
| An introduction to critical thinking. A beginner's text in logic |
W. H. Werkmeister |
James Wilkinson Miller |
1963 |
| Many-sorted predicate calculi. A survey of mathematical logic |
Hao Wang |
Steven Orey |
1963 |
| Systems of weak implication |
Naoto Yonemitsu |
W. T. Parry |
1963 |
| Introduction to symbolic logic |
A. H. Basson and D. J. O'Connor |
Alonzo Church |
1963 |
| Mathematical logic: Constructive and non-constructive operations |
S. C. Kleene |
Julia Robinson |
1962 |
| The Quine algorithm |
R. Fridshal |
Thomas H. Mott |
1962 |
| Applications to field theory |
Abraham Robinson |
C. C. Chang |
1962 |
| Le problème du language et l'ouverture à l′expérience |
Ferdinand Gonseth |
G. Hasenjaeger |
1962 |
| Formal logic |
A. N. Prior |
Hugues Leblanc |
1962 |
| Experience and the analytic. A reconsideration of empiricism |
Alan Pasch |
Yehoshua Bar-Hillel |
1962 |
| Recursive analysis |
R. L. Goodstein |
James R. Guard |
1962 |
| Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407 |
Abraham Robinson |
G. Hasenjaeger |
1962 |
| Applied Boolean algebra. An elementary introduction |
Franz E. Hohn |
Thomas H. Mott |
1962 |
| O néprotivoréčivosti nékotoryh logičéskih isčislénij (On the consistency of some logical calculi) |
P. S. Novikov |
Andrzej Mostowski |
1962 |
| The foundations of mathematics, A study in the philosophy of science |
Evert W. Beth |
A. Nerode |
1962 |
| Ordinal logics and the characterization of informal concepts of proof |
G. Kreisel |
Dana Scott |
1962 |
| Countable functionals |
Dag Normann |
Peter G Hinman |
1962 |
| S. C. Kleene. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957 |
A. Heyting. Studies in logic and the foundations of mathematics |
Donald L. Kreider |
1962 |
| Aristotle's syllogistic from the standpoint of modern formal logic |
Lynn E Rose |
Ivan Boh |
1962 |
| Perceiving: A philosophical study |
Roderick M. Chisholm |
Charles A. Baylis |
1962 |
| Nérazréšimosť problémy goméomorfii (Insolubility of the problem of homeomorpby) |
A. A. Markov |
Dana Scott |
1962 |
| ¿ Qué es la geometria elemental ?Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 (for 1958, published 1959), |
Alfred Tarski |
John van Heijenoort |
1962 |
| Completeness results for formal systems |
E. W. Beth |
Dana Scott |
1962 |
| Induction and hypothesis, A study of the logic of confirmation |
S. F. Barker |
Lars Svenonius |
1962 |
| The development of logic |
William Kneale and Martha Kneale |
Benson Mates |
1962 |
| Über einige neuere Untersuchungen zur Modalitätenlogik. Deutsch, mit deutschem, französischem und englischem Résumé |
H. Arnold Schmidt |
G. Hasenjaeger |
1962 |
| Symbolic representations of calculating machines |
Hao Wang |
C. C. Elgot |
1962 |
| The grammar of English nominalizations |
Robert B. Lees |
Joachim Lambek |
1962 |
| John L. Kelley |
|
Francis P. Larkin |
1962 |
| Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam, 1957 |
A. Heyting. Studies in logic and the foundations of mathematics |
Carol R. Karp |
1962 |
