| Truth definitions and consistency proofs |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Some remarks on infinitely long formulas |
L. Henkin |
Thomas Frayne |
The Journal of Symbolic Logic |
1965 |
| 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 |
| 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 axiomatic method |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Gerold Stahl. Fragenfolgen. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
David Harrah |
The Journal of Symbolic Logic |
1963 |
| Logic: the theory of formal inference |
Alice Ambrose and Morris Lazerowitz |
Donald Kalish |
The Journal of Symbolic Logic |
1963 |
| The fine structure of degrees of unsolvability of recursively enumerable sets |
R. M. Friedberg |
Gerald E. Sacks |
The Journal of Symbolic Logic |
1963 |
| Abstract set theory |
Abraham A. Fraenkel |
Alonzo Church |
The Journal of Symbolic Logic |
1963 |
| On formalization |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| The predicate calculus. A survey of mathematical logic |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Alonzo Church |
|
Joyce Friedman |
The Journal of Symbolic Logic |
1963 |
| Grundzüge der mathematischen Logik |
Heinrich Scholz and Gisbert Hasenjaeger |
Gert Heinz Müller |
The Journal of Symbolic Logic |
1963 |
| Stoic logic |
Benson Mates |
Alonzo Church |
The Journal of Symbolic Logic |
1963 |
| Eighty years of foundational studies |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Vorwort |
J. Ritter |
G. Kreisel |
The Journal of Symbolic Logic |
1963 |
