| 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, Oxford, July 1963 |
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 1965 |
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 |
| Treatise on syncategorematic words. Translated with an introduction and notes by Norman Kretzmann |
William of Sherwood |
Martin Tweedale |
Journal of Symbolic Logic |
1970 |
| B. A. Trahténbrot |
|
Jiří Bečvář |
Journal of Symbolic Logic |
1970 |
| Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions |
Paul Lorenzen |
Perry Smith |
Journal of Symbolic Logic |
1970 |
| Probability and the logic of rational belief |
Henry E Kyburg Jr |
Peter Krauss |
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 |
| Infinity in mathematics and logic |
James Thomson |
William Craig |
Journal of Symbolic Logic |
1970 |
| Models and analogies in science |
Mary Hesse |
William Craig |
Journal of Symbolic Logic |
1970 |
| Logic, deontic |
A. N. Prior |
William Craig |
Journal of Symbolic Logic |
1970 |
| Referring |
Leonard Linsky |
Benson Mates |
Journal of Symbolic Logic |
1970 |
| Synonymity |
Leonard Linsky |
Benson Mates |
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 |
| Elementary logic |
Willard Van Orman Quine |
Robert L. Stanley |
Journal of Symbolic Logic |
1970 |
| 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 |
