| Semantics |
Donald Kalish |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz |
Antonio Diego |
C. G. McKay |
Journal of Symbolic Logic |
1970 |
| Computing machines |
Gerald M. Weinberg |
William Craig |
Journal of Symbolic Logic |
1970 |
| Elementary logic |
Willard Van Orman Quine |
Robert L. Stanley |
Journal of Symbolic Logic |
1970 |
| Introduction |
R J Nelson |
Robert McNaughton |
Journal of Symbolic Logic |
1970 |
| The existential graphs and natural deduction |
Don Davis Roberts |
J. Jay Zeman |
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 1965 |
John N. Crossley, Studies in logic and the foundations of mathematics |
Leslie H. Tharp |
Journal of Symbolic Logic |
1970 |
| Formal languages: Automata and structures |
Erwin Engeler |
Andrzej Blikle |
Journal of Symbolic Logic |
1970 |
| Induction |
Max Black |
William Craig |
Journal of Symbolic Logic |
1970 |
| Logic, combinatory |
Haskell B. Curry |
William Craig |
Journal of Symbolic Logic |
1970 |
| Meaning |
William P. Alston |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Brouwer, Luitzen Egbertus Jan |
Charles Parsons |
William Craig |
Journal of Symbolic Logic |
1970 |
| The undecidability of exponential Diophantine equations |
Julia Robinson |
Hartley Rogers |
Journal of Symbolic Logic |
1970 |
| Ajdukiewicz, Kazimierz |
Z. A. Jordan |
Benson Mates |
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 |
| Chwistek, Leon |
H. Hiż |
William Craig |
Journal of Symbolic Logic |
1970 |
| Measurement, empirical meaningfulness, and three-valued logic |
Patrick Suppes |
Robert L. Causey |
Journal of Symbolic Logic |
1970 |
| Logik |
Rolf Schock |
B H Mayoh |
Journal of Symbolic Logic |
1970 |
| Gödel's theorem |
S G Shanker |
David D Auerbach |
Journal of Symbolic Logic |
1970 |
| Ayer, Alfred Jules |
D. J. O'Connor |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Completeness in science |
Richard Schlegel |
Robert L. Causey |
Journal of Symbolic Logic |
1970 |
| Legal system and lawyers' reasonings |
Julius Stone |
Krister Segerberg |
Journal of Symbolic Logic |
1970 |
| Model theory and non-standard arithmetic |
A. Robinson |
William N. Reinhardt |
Journal of Symbolic Logic |
1970 |
| Räumliche Vorstellung und mathematisches Erkenntnisvermögen |
W. A. Verloren van Themaat |
Hans Freudenthal |
Journal of Symbolic Logic |
1970 |
| Introduction to logic |
Irving M. Copi |
Alfons Borgers |
Journal of Symbolic Logic |
1970 |
| Łukasiewicz, Jan |
Czesław Lejewski |
William Craig |
Journal of Symbolic Logic |
1970 |
| American philosophy |
Paul Kurtz |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| On the decision problem for algebraic rings |
Julia Robinson |
V. H. Dyson |
Journal of Symbolic Logic |
1970 |
| Basic statements |
R. W. Ashby |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Negation |
Bimal Krishna Matilal |
Jan Berg |
Journal of Symbolic Logic |
1970 |
| Negation and the law of contradiction in Indian thought: a comparative study |
J. F. Staal |
Jan Berg |
Journal of Symbolic Logic |
1970 |
| Yehoshua Bar-Hillel |
|
William Craig |
Journal of Symbolic Logic |
1970 |
| Artificial and natural languages |
Charles E. Caton |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Metamathematics and algebra: An example |
Roger C. Lyndon |
Arnold Oberschelp |
Journal of Symbolic Logic |
1970 |
| Quine, Willard Van Orman |
G. F. Presley |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Existence |
A. N. Prior |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| The relational syllogism. A systematic approach to relational logic |
G. B. Keene |
Gerald J. Massey |
Journal of Symbolic Logic |
1970 |
| Computability by probabilistic machines |
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro |
Patrick C. Fischer |
Journal of Symbolic Logic |
1970 |
| Craig's theorem |
Max Black |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Identity and spatio-temporal continuity |
David Wiggins |
John Perry |
Journal of Symbolic Logic |
1970 |
| Presupposing. Bibliographic assistance by J. Ornstein |
Avrum Stroll |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Boruch A. Brody |
|
William Craig |
Journal of Symbolic Logic |
1970 |
| Laws and theories |
Mary Hesse |
William Craig |
Journal of Symbolic Logic |
1970 |
| Brentano, Franz |
Roderick M. Chisholm |
Benson Mates |
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 |
Journal of Symbolic Logic |
1970 |
| Contraposition in Indian logic |
J. F. Staal |
Jan Berg |
Journal of Symbolic Logic |
1970 |
| Ramsey, Frank Plumpton |
Max Black |
William Craig |
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 1965 |
John N. Crossley |
Richard A. Platek |
Journal of Symbolic Logic |
1970 |
| Mathematical logic |
Gerson B Robison |
William E Gould |
Journal of Symbolic Logic |
1970 |
| Cours de logique mathématique. Tome I. Relation, formule logique, compacité, complétude |
Roland Fraïssé |
D. Ponasse |
Journal of Symbolic Logic |
1970 |
