| Existence |
A. N. Prior |
Benson Mates |
1970 |
| The relational syllogism. A systematic approach to relational logic |
G. B. Keene |
Gerald J. Massey |
1970 |
| Computability by probabilistic machines |
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro |
Patrick C. Fischer |
1970 |
| Craig's theorem |
Max Black |
Benson Mates |
1970 |
| Identity and spatio-temporal continuity |
David Wiggins |
John Perry |
1970 |
| Presupposing. Bibliographic assistance by J. Ornstein |
Avrum Stroll |
Benson Mates |
1970 |
| Boruch A. Brody |
|
William Craig |
1970 |
| Laws and theories |
Mary Hesse |
William Craig |
1970 |
| Brentano, Franz |
Roderick M. Chisholm |
Benson Mates |
1970 |
| Jaakko Hintikka. Towards a theory of inductive generalization. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Ian Hacking |
1970 |
| Contraposition in Indian logic |
J. F. Staal |
Jan Berg |
1970 |
| Ramsey, Frank Plumpton |
Max Black |
William Craig |
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 1965 |
John N. Crossley |
Richard A. Platek |
1970 |
| Mathematical logic |
Gerson B Robison |
William E Gould |
1970 |
| Cours de logique mathématique. Tome I. Relation, formule logique, compacité, complétude |
Roland Fraïssé |
D. Ponasse |
1970 |
| On acting on a belief |
Richard M. Martin |
J. Jay Zeman |
1970 |
| Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 |
J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics |
G. Kreisel |
1970 |
| C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965 |
John N. Crossley, Studies in logic and the foundations of mathematics |
S. K. Thomason |
1970 |
| Logic, modal |
A. N. Prior |
William Craig |
1970 |
| Jaakko Hintikka. A two-dimensional continuum of inductive methods. Aspects of inductive logic |
Jaakko Hintikka and Patrick Suppes, Studies in logic and foundations of mathematics |
Ian Hacking |
1970 |
| A systematic introduction to normative ethics and meta-ethics |
Richard T. Garner and Bernard Rosen |
Krister Segerberg |
1970 |
| Introduction to logic |
Nicholas Rescher |
William E. Gould |
1970 |
| Binary relations as primitive notions in elementary geometry |
Raphael M. Robinson |
L. W. Szczerba |
1970 |
| Eine Termlogik mit Auswahloperator |
Hans Hermes |
Gert Heinz Müller |
1970 |
| Form and content in logic. A revised reprint of XV 58(2), 199(2), 280(2). Logical studies. International library of psychology, philosophy and scientific method |
Georg Henrik von Wright |
Timothy Smiley |
1970 |
| Simplicity |
Mary Hesse |
William Craig |
1970 |
| Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”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 |
A. B. Slomson |
1970 |
| Ancient logic |
Czesław Lejewski |
William Craig |
1970 |
| Explanation in science |
Jaegwon Kim |
William Craig |
1970 |
| Tarski, Alfred |
Andrzej Mostowski |
William Craig |
1970 |
| The undecidability of exponential Diophantine equations |
Julia Robinson |
Hartley Rogers |
1970 |
| Means of formalisation in Indian and Western logic. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), Volume decimo, Filosofie orientali e pensiero occidentale,Sansoni Editore, Florence1960, |
J. F. Staal |
Jan Berg |
1970 |
| Leon W. Cohen and Gertrude Ehrlich |
|
Krister Segerberg |
1970 |
| Indexical signs, egocentric particulars, and token-reflexive words |
Richard M. Gale |
Benson Mates |
1970 |
| Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T |
Noam Chomsky |
Ann S. Ferebee |
1970 |
| Introduction to logic |
Irving M. Copi |
Alfons Borgers |
1970 |
| Binary relations as primitive notions in elementary geometry |
Raphael M. Robinson |
L. W. Szczerba |
1970 |
| Carroll, Lewis |
P. L. Heath |
Benson Mates |
1970 |
| Editor's introduction |
A. J. Ayer |
Alonzo Church |
1970 |
| Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry |
H. L. Royden |
Lesław W. Szczerba |
1970 |
| Confirmation: quantitative aspects |
Frederic Schick |
William Craig |
1970 |
| Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T |
Noam Chomsky |
Ann S. Ferebee |
1970 |
| Treatise on syncategorematic words. Translated with an introduction and notes by Norman Kretzmann |
William of Sherwood |
Martin Tweedale |
1970 |
| B. A. Trahténbrot |
|
Jiří Bečvář |
1970 |
| Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions |
Paul Lorenzen |
Perry Smith |
1970 |
| Probability and the logic of rational belief |
Henry E Kyburg Jr |
Peter Krauss |
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 |
1970 |
| Infinity in mathematics and logic |
James Thomson |
William Craig |
1970 |
| Models and analogies in science |
Mary Hesse |
William Craig |
1970 |
| Logic, deontic |
A. N. Prior |
William Craig |
1970 |
