| Elementary logic |
Willard Van Orman Quine |
Robert L. Stanley |
The Journal of Symbolic Logic |
1970 |
| Introduction |
R J Nelson |
Robert McNaughton |
The Journal of Symbolic Logic |
1970 |
| The existential graphs and natural deduction |
Don Davis Roberts |
J. Jay Zeman |
The Journal of Symbolic Logic |
1970 |
| Carol Karp. A proof of the relative consistency of the continuum hypothesis. 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 |
Leslie H. Tharp |
The Journal of Symbolic Logic |
1970 |
| Formal languages: Automata and structures |
Erwin Engeler |
Andrzej Blikle |
The Journal of Symbolic Logic |
1970 |
| Induction |
Max Black |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Logic, combinatory |
Haskell B. Curry |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Meaning |
William P. Alston |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Brouwer, Luitzen Egbertus Jan |
Charles Parsons |
William Craig |
The Journal of Symbolic Logic |
1970 |
| The undecidability of exponential Diophantine equations |
Julia Robinson |
Hartley Rogers |
The Journal of Symbolic Logic |
1970 |
| Ajdukiewicz, Kazimierz |
Z. A. Jordan |
Benson Mates |
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 |
| Chwistek, Leon |
H. Hiż |
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 |
| Logik |
Rolf Schock |
B H Mayoh |
The Journal of Symbolic Logic |
1970 |
| Gödel's theorem |
S G Shanker |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Ayer, Alfred Jules |
D. J. O'Connor |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Completeness in Science |
Richard Schlegel |
Robert L. Causey |
The Journal of Symbolic Logic |
1970 |
| Legal System and Lawyers' Reasonings |
Julius Stone |
Krister Segerberg |
The Journal of Symbolic Logic |
1970 |
| Model theory and non-standard arithmetic |
A. Robinson |
William N. Reinhardt |
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 |
| Introduction to Logic |
Irving M. Copi |
Alfons Borgers |
The Journal of Symbolic Logic |
1970 |
| Łukasiewicz, Jan |
Czesław Lejewski |
William Craig |
The Journal of Symbolic Logic |
1970 |
| American philosophy |
Paul Kurtz |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| On the decision problem for algebraic rings |
Julia Robinson |
V. H. Dyson |
The Journal of Symbolic Logic |
1970 |
| Basic statements |
R. W. Ashby |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Negation |
Bimal Krishna Matilal |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Negation and the law of contradiction in Indian thought: a comparative study |
J. F. Staal |
Jan Berg |
The Journal of Symbolic Logic |
1970 |
| Yehoshua Bar-Hillel |
|
William Craig |
The Journal of Symbolic Logic |
1970 |
| Artificial and natural languages |
Charles E. Caton |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Metamathematics and algebra: An example |
Roger C. Lyndon |
Arnold Oberschelp |
The Journal of Symbolic Logic |
1970 |
| Quine, Willard Van Orman |
G. F. Presley |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Existence |
A. N. Prior |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| The relational syllogism. A systematic approach to relational logic |
G. B. Keene |
Gerald J. Massey |
The Journal of Symbolic Logic |
1970 |
| Computability by probabilistic machines |
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro |
Patrick C. Fischer |
The Journal of Symbolic Logic |
1970 |
| Craig's theorem |
Max Black |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Identity and Spatio-Temporal Continuity |
David Wiggins |
John Perry |
The Journal of Symbolic Logic |
1970 |
| Presupposing. Bibliographic assistance by J. Ornstein |
Avrum Stroll |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Boruch A. Brody |
|
William Craig |
The Journal of Symbolic Logic |
1970 |
| Laws and theories |
Mary Hesse |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Brentano, Franz |
Roderick M. Chisholm |
Benson Mates |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1970 |
| Contraposition in Indian logic |
J. F. Staal |
Jan Berg |
The Journal of Symbolic Logic |
1970 |
| Ramsey, Frank Plumpton |
Max Black |
William Craig |
The Journal of Symbolic Logic |
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 |
John N. Crossley |
Richard A. Platek |
The Journal of Symbolic Logic |
1970 |
| Mathematical logic |
Gerson B Robison |
William E Gould |
The Journal of Symbolic Logic |
1970 |
| Cours de logique mathématique. Tome I. Relation, formule logique, compacité, complétude |
Roland Fraïssé |
D. Ponasse |
The Journal of Symbolic Logic |
1970 |
| On acting on a belief |
Richard M. Martin |
J. Jay Zeman |
The Journal of Symbolic Logic |
1970 |
| Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics |
G. Kreisel |
The Journal of Symbolic Logic |
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 |
John N. Crossley, Studies in logic and the foundations of mathematics |
S. K. Thomason |
The Journal of Symbolic Logic |
1970 |
