| 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 |
| 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 |
The Journal of Symbolic Logic |
1970 |
| Basic verifiability in the combinatory theory of restricted generality |
Haskell B. Curry |
Richard J. Orgass |
The Journal of Symbolic Logic |
1970 |
| Martin Davis |
|
A. H. Lightstone |
The Journal of Symbolic Logic |
1970 |
| Charles Parsons |
|
William Craig |
The Journal of Symbolic Logic |
1970 |
| Number |
David Bostock |
William Craig |
The 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 |
The Journal of Symbolic Logic |
1970 |
| Analysis, philosophical |
Morris Weitz |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Carnap, Rudolf |
Norman M. Martin |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Measurement, empirical meaningfulness, and three-valued logic |
Patrick Suppes |
Robert L. Causey |
The Journal of Symbolic Logic |
1970 |
| Hilbert, David |
Paul Bernays |
William Craig |
The Journal of Symbolic Logic |
1970 |
| J. L. Austin. The meaning of a word. Philosophical papers by J. L. Austin |
J L Austin |
James Cargile |
The Journal of Symbolic Logic |
1970 |
| Model theory and non-standard arithmetic |
A. Robinson |
William N. Reinhardt |
The Journal of Symbolic Logic |
1970 |
| Proper names and descriptions |
John R. Searle |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Calculus of Functions of One Argument |
E W Cogan |
William E Gould |
The Journal of Symbolic Logic |
1969-12-01 |
| Dimension in elementary Euclidean geometry |
Dana Scott |
Wolfram Schwabhäuser |
The Journal of Symbolic Logic |
1969-11-17 |
| The philosophy of Bertrand Russell |
Paul Arthur Schilpp |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969-11-17 |
| A practical infinitistic computer |
L. Kalmár |
William E. Gould |
The Journal of Symbolic Logic |
1969-11-17 |
| Logiques construites par une méthode de déduction naturelle |
J. Dopp |
Dag Prawitz |
The Journal of Symbolic Logic |
1969-11-17 |
| Modal logics. Edited with some complements by Joseph Dopp |
Robert Feys |
Gerald J. Massey |
The Journal of Symbolic Logic |
1969-11-17 |
| Insolubilia. A reprint of 2813 |
Charles Sanders Peirce |
Alonzo Church |
The Journal of Symbolic Logic |
1969-11-17 |
| Elementary functions and coordinate geometry |
Sze-Tsen Hu |
Alonzo Church |
The Journal of Symbolic Logic |
1969-11-17 |
| The Logic of Commands |
Nicolas Rescher |
James Thomson |
The Journal of Symbolic Logic |
1969-11-17 |
| The problem of predicativity |
J. R. Shoenfield |
George S. Boolos |
The Journal of Symbolic Logic |
1969-11-17 |
| J. C. E. Dekker. Regressive isols. 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 |
C. E. Bredlau |
The Journal of Symbolic Logic |
1969-11-17 |
| Logiques Construites Par Une Methode de Deduction Naturelle |
J Dopp |
Dag Prawitz |
The Journal of Symbolic Logic |
1969-09-01 |
| Raymond L. Wilder. Introduction to the foundations of mathematics. Second edition of XIX 225 |
|
Krister Segerberg |
The Journal of Symbolic Logic |
1969-07-25 |
| The Logic of Saint Anselm |
Desmond Paul Henry |
Norman Kretzmann |
The Journal of Symbolic Logic |
1969-07-25 |
| Maurice Gross and André Lentin. Notions sur les grammaires formelles |
|
Andrzej Blikle |
The Journal of Symbolic Logic |
1969-07-25 |
| Two contributions to the foundations of set |
Richard Montague |
Solomon Feferman |
The Journal of Symbolic Logic |
1969-07-25 |
