| 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 |
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 |
Journal of Symbolic Logic |
1970 |
| An application of electric circuits in mathematical logic |
Chen Chuan Chong |
H. Enderton |
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 |
Journal of Symbolic Logic |
1970 |
| Probability |
M H Foster |
David Miller |
Journal of Symbolic Logic |
1970 |
| 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 |
Kenneth Kunen |
Journal of Symbolic Logic |
1970 |
| Paul J. Cohen |
|
Kenneth Kunen |
Journal of Symbolic Logic |
1970 |
| D. Hilbert and P. Bernays |
|
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 |
Andreas Blass |
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 |
| Continuum problem |
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 |
|
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. McCluskeyJr., 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 |
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 |
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 |
|
A. H. Lightstone |
Journal of Symbolic Logic |
1970 |
| Charles Parsons |
|
William Craig |
Journal of Symbolic Logic |
1970 |
| Number |
David Bostock |
Michael D Resnik |
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 |
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 |
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' |
Richard Schmitt |
John D Caputo |
Journal of Philosophy |
1969-12-18 |
| 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 |
