| Referring |
Leonard Linsky |
Benson Mates |
1970 |
| Synonymity |
Leonard Linsky |
Benson Mates |
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 |
| Elementary logic |
Willard Van Orman Quine |
Robert L. Stanley |
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 |
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 |
1970 |
| An application of electric circuits in mathematical logic |
Chen Chuan Chong |
H. Enderton |
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 |
1970 |
| Probability |
M H Foster |
David Miller |
1970 |
| Coherence theory of truth |
Alan R. White |
Benson Mates |
1970 |
| Wittgenstein, Ludwig Josef Johann |
Norman Malcolm |
Benson Mates |
1970 |
| Set theory |
Paul J Cohen |
Kenneth Kunen |
1970 |
| Paul J. Cohen |
|
Kenneth Kunen |
1970 |
| D. Hilbert and P. Bernays |
|
G. T. Kneebone |
1970 |
| Ontological argument for the existence of God |
John Hick |
Benson Mates |
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 |
1970 |
| Categories |
Michael Makkai |
Andreas Blass |
1970 |
| Bolzano, Bernard |
Yehoshua Bar-Hillel |
Benson Mates |
1970 |
| William P. Alston |
|
Benson Mates |
1970 |
| Continuum problem |
Raymond M. Smullyan |
William Craig |
1970 |
| Correspondence theory of truth |
A. N. Prior |
Benson Mates |
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 1965 |
John N. Crossley, Studies in logic and the foundations of mathematics |
W. A. Howard |
1970 |
| Contrary-to-fact conditional |
R. S. Walters |
Benson Mates |
1970 |
| Logic, many-valued |
A. N. Prior |
William Craig |
1970 |
| Martin Davis |
|
A. H. Lightstone |
1970 |
| Russell, Bertrand Arthur William. Life and social theories |
Paul Edwards |
William Craig |
1970 |
| Essential multiple-output prime implicants |
E. J. McCluskeyJr., and H. Schorr |
S. Rudeanu |
1970 |
| Some universal elements for finite automata |
M. L. Minsky |
Patrick C. Fischer |
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 |
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 |
1970 |
| R. Harré |
|
William Craig |
1970 |
| Räumliche Vorstellung und mathematisches Erkenntnisvermögen |
W. A. Verloren van Themaat |
Hans Freudenthal |
1970 |
| The inversion of functions defined by Turing machines |
John McCarthy |
Patrick C. Fischer |
1970 |
| Leibniz, Gottfried Wilhelm |
L. J. Russell |
Benson Mates |
1970 |
| Identity |
Avrum Stroll |
Benson Mates |
1970 |
| Norman Kretzmann |
|
Benson Mates |
1970 |
| Measurement |
Brian Ellis |
William Craig |
1970 |
| Definition |
Raziel Abelson |
Benson Mates |
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 |
1970 |
| Andrzej Mostowski. On various degrees of constructivism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957 |
A. Heyting, Studies in logic and the foundations of mathematics |
George S. Boolos |
1970 |
| Basic verifiability in the combinatory theory of restricted generality |
Haskell B. Curry |
Richard J. Orgass |
1970 |
| Martin Davis |
|
A. H. Lightstone |
1970 |
| Charles Parsons |
|
William Craig |
1970 |
| Number |
David Bostock |
Michael D Resnik |
1970 |
| R. B. Jensen. Concrete models of set theory. 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 |
Frank R. Drake |
1970 |
| Analysis, philosophical |
Morris Weitz |
Benson Mates |
1970 |
| Carnap, Rudolf |
Norman M. Martin |
William Craig |
1970 |
| Measurement, empirical meaningfulness, and three-valued logic |
Patrick Suppes |
Robert L. Causey |
1970 |
| Hilbert, David |
Paul Bernays |
William Craig |
1970 |
| J. L. Austin. The meaning of a word. Philosophical papers by J. L. Austin |
J L Austin |
James Cargile |
1970 |
