| 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 |
William Craig |
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 |
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 |
| On acting on a belief |
Richard M. Martin |
J. Jay Zeman |
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 |
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 |
Journal of Symbolic Logic |
1970 |
| Logic, modal |
A. N. Prior |
William Craig |
Journal of Symbolic Logic |
1970 |
| Jaakko Hintikka. A two-dimensional continuum of inductive methods. Aspects of inductive logic |
Jaakko Hintikka and Patrick Suppes, Studies in logic and foundations of mathematics |
Ian Hacking |
Journal of Symbolic Logic |
1970 |
| A systematic introduction to normative ethics and meta-ethics |
Richard T. Garner and Bernard Rosen |
Krister Segerberg |
Journal of Symbolic Logic |
1970 |
| Introduction to logic |
Nicholas Rescher |
William E. Gould |
Journal of Symbolic Logic |
1970 |
| Binary relations as primitive notions in elementary geometry |
Raphael M. Robinson |
L. W. Szczerba |
Journal of Symbolic Logic |
1970 |
| Eine Termlogik mit Auswahloperator |
Hans Hermes |
Gert Heinz Müller |
Journal of Symbolic Logic |
1970 |
| Form and content in logic. A revised reprint of XV 58(2), 199(2), 280(2). Logical studies. International library of psychology, philosophy and scientific method |
Georg Henrik von Wright |
Timothy Smiley |
Journal of Symbolic Logic |
1970 |
| Simplicity |
Mary Hesse |
William Craig |
Journal of Symbolic Logic |
1970 |
| Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”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 |
A. B. Slomson |
Journal of Symbolic Logic |
1970 |
| Ancient logic |
Czesław Lejewski |
William Craig |
Journal of Symbolic Logic |
1970 |
| Explanation in science |
Jaegwon Kim |
William Craig |
Journal of Symbolic Logic |
1970 |
| Tarski, Alfred |
Andrzej Mostowski |
William Craig |
Journal of Symbolic Logic |
1970 |
| The undecidability of exponential Diophantine equations |
Julia Robinson |
Hartley Rogers |
Journal of Symbolic Logic |
1970 |
| Means of formalisation in Indian and Western logic. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), Volume decimo, Filosofie orientali e pensiero occidentale,Sansoni Editore, Florence1960 |
J. F. Staal |
Jan Berg |
Journal of Symbolic Logic |
1970 |
| Leon W. Cohen and Gertrude Ehrlich |
|
Krister Segerberg |
Journal of Symbolic Logic |
1970 |
| Indexical signs, egocentric particulars, and token-reflexive words |
Richard M. Gale |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T |
Noam Chomsky |
Ann S. Ferebee |
Journal of Symbolic Logic |
1970 |
| Introduction to Logic |
Irving M. Copi |
Alfons Borgers |
Journal of Symbolic Logic |
1970 |
| Binary relations as primitive notions in elementary geometry |
Raphael M. Robinson |
L. W. Szczerba |
Journal of Symbolic Logic |
1970 |
| Carroll, Lewis |
P. L. Heath |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Editor's introduction |
A. J. Ayer |
Alonzo Church |
Journal of Symbolic Logic |
1970 |
| Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry |
H. L. Royden |
Lesław W. Szczerba |
Journal of Symbolic Logic |
1970 |
| Confirmation: quantitative aspects |
Frederic Schick |
William Craig |
Journal of Symbolic Logic |
1970 |
| Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T |
Noam Chomsky |
Ann S. Ferebee |
Journal of Symbolic Logic |
1970 |
