| Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry |
H. L. Royden |
Lesław W. Szczerba |
The Journal of Symbolic Logic |
1970 |
| Confirmation: quantitative aspects |
Frederic Schick |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T |
Noam Chomsky |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1970 |
| Treatise on syncategorematic words. Translated with an introduction and notes by Norman Kretzmann |
William of Sherwood |
Martin Tweedale |
The Journal of Symbolic Logic |
1970 |
| B. A. Trahténbrot |
|
Jiří Bečvář |
The Journal of Symbolic Logic |
1970 |
| Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions |
Paul Lorenzen |
Perry Smith |
The Journal of Symbolic Logic |
1970 |
| Probability and the logic of rational belief |
Henry E Kyburg Jr |
Peter Krauss |
The Journal of Symbolic Logic |
1970 |
| Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz |
Antonio Diego |
C. G. McKay |
The Journal of Symbolic Logic |
1970 |
| Infinity in mathematics and logic |
James Thomson |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Models and Analogies in Science |
Mary Hesse |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Logic, deontic |
A. N. Prior |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Referring |
Leonard Linsky |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Synonymity |
Leonard Linsky |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley |
Richard A. Platek |
The Journal of Symbolic Logic |
1970 |
| Elementary logic |
Willard Van Orman Quine |
Robert L. Stanley |
The Journal of Symbolic Logic |
1970 |
| Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Stephen A. Cook |
The Journal of Symbolic Logic |
1970 |
| On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort |
Luitzen Egbertus Jan Brouwer |
Joan Rand Moschovakis |
The Journal of Symbolic Logic |
1970 |
| An application of electric circuits in mathematical logic |
Chen Chuan Chong |
H. Enderton |
The Journal of Symbolic Logic |
1970 |
| Eléments de la recherche opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique |
Robert Faure with the collaboration of Nicole-Sylvie Guillot LeGarff and Manue Bloch |
H. B. Enderton |
The Journal of Symbolic Logic |
1970 |
| Probability |
M H Foster |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Coherence theory of truth |
Alan R. White |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Wittgenstein, Ludwig Josef Johann |
Norman Malcolm |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Set theory |
Paul J Cohen |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Paul J. Cohen |
|
Kenneth Kunen |
The Journal of Symbolic Logic |
1970 |
| D. Hilbert and P. Bernays |
|
G. T. Kneebone |
The Journal of Symbolic Logic |
1970 |
| Ontological argument for the existence of God |
John Hick |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
James R. Geiser |
The Journal of Symbolic Logic |
1970 |
| Categories |
Michael Makkai |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Bolzano, Bernard |
Yehoshua Bar-Hillel |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| William P. Alston |
|
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Raymond M. Smullyan |
|
William Craig |
The Journal of Symbolic Logic |
1970 |
| Correspondence theory of truth |
A. N. Prior |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
W. A. Howard |
The Journal of Symbolic Logic |
1970 |
| Contrary-to-fact conditional |
R. S. Walters |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Logic, many-valued |
A. N. Prior |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Martin Davis |
|
A. H. Lightstone |
The Journal of Symbolic Logic |
1970 |
| Russell, Bertrand Arthur William. Life and social theories |
Paul Edwards |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Essential multiple-output prime implicants |
E. J. McCluskey Jr., and H. Schorr |
S. Rudeanu |
The Journal of Symbolic Logic |
1970 |
| Some universal elements for finite automata |
M. L. Minsky |
Patrick C. Fischer |
The Journal of Symbolic Logic |
1970 |
| Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
David Makinson |
The Journal of Symbolic Logic |
1970 |
| Wolfram Schwabhäuser. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Lesław W. Szczerba |
The Journal of Symbolic Logic |
1970 |
| R. Harré |
|
William Craig |
The Journal of Symbolic Logic |
1970 |
| Räumliche Vorstellung und mathematisches Erkenntnisvermögen |
W. A. Verloren van Themaat |
Hans Freudenthal |
The Journal of Symbolic Logic |
1970 |
| The inversion of functions defined by Turing machines |
John McCarthy |
Patrick C. Fischer |
The Journal of Symbolic Logic |
1970 |
| Leibniz, Gottfried Wilhelm |
L. J. Russell |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Identity |
Avrum Stroll |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Norman Kretzmann |
|
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Measurement |
Brian Ellis |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Definition |
Raziel Abelson |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Introduction. Notes on the development of formal logic in Poland in the years 1900–39. Polish logic 1920–1939, edited by Storrs McCall |
Tadeusz Kotarbiński |
Witold A. Pogorzelski |
The Journal of Symbolic Logic |
1970 |
