| Coherence theory of truth |
Alan R. White |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Wittgenstein, Ludwig Josef Johann |
Norman Malcolm |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Set theory |
Paul J Cohen |
William Craig |
Journal of Symbolic Logic |
1970 |
| Paul J. Cohen |
|
Kenneth Kunen |
Journal of Symbolic Logic |
1970 |
| D. Hilbert and P. Bernays 2 reviews |
|
G. T. Kneebone |
Journal of Symbolic Logic |
1970 |
| Ontological argument for the existence of God |
John Hick |
Benson Mates |
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 |
Journal of Symbolic Logic |
1970 |
| Categories |
Michael Makkai |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Bolzano, Bernard |
Yehoshua Bar-Hillel |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| William P. Alston |
|
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Raymond M. Smullyan |
|
William Craig |
Journal of Symbolic Logic |
1970 |
| Correspondence theory of truth |
A. N. Prior |
Benson Mates |
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 |
Journal of Symbolic Logic |
1970 |
| Contrary-to-fact conditional |
R. S. Walters |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Logic, many-valued |
A. N. Prior |
William Craig |
Journal of Symbolic Logic |
1970 |
| Martin Davis 3 reviews |
|
A. H. Lightstone |
Journal of Symbolic Logic |
1970 |
| Russell, Bertrand Arthur William. Life and social theories |
Paul Edwards |
William Craig |
Journal of Symbolic Logic |
1970 |
| Essential multiple-output prime implicants |
E. J. McCluskey Jr., and H. Schorr |
S. Rudeanu |
Journal of Symbolic Logic |
1970 |
| Some universal elements for finite automata |
M. L. Minsky |
Patrick C. Fischer |
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 2 reviews |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
David Makinson |
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 |
Journal of Symbolic Logic |
1970 |
| R. Harré |
|
William Craig |
Journal of Symbolic Logic |
1970 |
| Räumliche Vorstellung und mathematisches Erkenntnisvermögen 2 reviews |
W. A. Verloren van Themaat |
Hans Freudenthal |
Journal of Symbolic Logic |
1970 |
| The inversion of functions defined by Turing machines |
John McCarthy |
Patrick C. Fischer |
Journal of Symbolic Logic |
1970 |
| Leibniz, Gottfried Wilhelm |
L. J. Russell |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Identity |
Avrum Stroll |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Norman Kretzmann |
|
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Measurement |
Brian Ellis |
William Craig |
Journal of Symbolic Logic |
1970 |
| Definition |
Raziel Abelson |
Benson Mates |
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 |
Journal of Symbolic Logic |
1970 |
| Andrzej Mostowski. On various degrees of constructivism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
George S. Boolos |
Journal of Symbolic Logic |
1970 |
| Basic verifiability in the combinatory theory of restricted generality |
Haskell B. Curry |
Richard J. Orgass |
Journal of Symbolic Logic |
1970 |
| Martin Davis 3 reviews |
|
A. H. Lightstone |
Journal of Symbolic Logic |
1970 |
| Charles Parsons |
|
William Craig |
Journal of Symbolic Logic |
1970 |
| Number |
David Bostock |
William Craig |
Journal of Symbolic Logic |
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 |
John N. Crossley, Studies in logic and the foundations of mathematics |
Frank R. Drake |
Journal of Symbolic Logic |
1970 |
| Analysis, philosophical |
Morris Weitz |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Carnap, Rudolf |
Norman M. Martin |
William Craig |
Journal of Symbolic Logic |
1970 |
| Measurement, empirical meaningfulness, and three-valued logic 2 reviews |
Patrick Suppes |
Robert L. Causey |
Journal of Symbolic Logic |
1970 |
| Hilbert, David |
Paul Bernays |
William Craig |
Journal of Symbolic Logic |
1970 |
| J. L. Austin. The meaning of a word. Philosophical papers by J. L. Austin |
J L Austin |
James Cargile |
Journal of Symbolic Logic |
1970 |
| Model theory and non-standard arithmetic 2 reviews |
A. Robinson |
William N. Reinhardt |
Journal of Symbolic Logic |
1970 |
| Proper names and descriptions |
John R. Searle |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Martin Heidegger on Being Human: An introduction to 'Sein und Zeit' 2 reviews |
Richard Schmitt |
John D Caputo |
Journal of Philosophy |
1969-12-18 |
| Empedocles' Cosmic Cycle 5 reviews |
D. O'Brien |
W. R. Chalmers |
New Blackfriars |
1969-12-01 |
| The Translation of the Elements of Euclid From the Arabic into Latin by Hermann of Carinthia |
Euclides |
A Pattin |
Tijdschrift voor Filosofie |
1969-12-01 |
| The Structure of Value 4 reviews |
R S Hartman |
John Burnheim |
Australasian Journal of Philosophy |
1969-12-01 |
| Dictionnaire des Mathematiques Modernes |
Lucien Chambadal |
F Russo |
Études |
1969-12-01 |
| Calculus of Functions of One Argument |
E W Cogan |
William E Gould |
Journal of Symbolic Logic |
1969-12-01 |
| Theorie de L'evolution |
Charles Darwin |
D M De Petter |
Tijdschrift voor Filosofie |
1969-12-01 |
