| 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 |
| 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 |
| Measurement, empirical meaningfulness, and three-valued logic |
Patrick Suppes |
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 |
| Negation and the law of contradiction in Indian thought: a comparative study |
J. F. Staal |
Jan Berg |
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 |
| 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 |
| Identity and Spatio-Temporal Continuity |
David Wiggins |
John Perry |
The Journal of Symbolic Logic |
1970 |
| Laws and theories |
Mary Hesse |
William Craig |
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 |
| 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 |
| 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 |
| 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 |
The Journal of Symbolic Logic |
1970 |
| A systematic introduction to normative ethics and meta-ethics |
Richard T. Garner and Bernard Rosen |
Krister Segerberg |
The 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 |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1970 |
| Leon W. Cohen and Gertrude Ehrlich |
|
Krister Segerberg |
The Journal of Symbolic Logic |
1970 |
| Indexical signs, egocentric particulars, and token-reflexive words |
Richard M. Gale |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry |
H. L. Royden |
Lesław W. Szczerba |
The Journal of Symbolic Logic |
1970 |
| Treatise on syncategorematic words. Translated with an introduction and notes by Norman Kretzmann |
William of Sherwood |
Martin Tweedale |
The Journal of Symbolic Logic |
1970 |
| Probability and the logic of rational belief |
Henry E Kyburg Jr |
Peter Krauss |
The Journal of Symbolic Logic |
1970 |
| Infinity in mathematics and logic |
James Thomson |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Models and Analogies in Science |
Mary Hesse |
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 |
| 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 |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1970 |
| D. Hilbert and P. Bernays |
|
G. T. Kneebone |
The Journal of Symbolic Logic |
1970 |
| H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
James R. Geiser |
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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Measurement, empirical meaningfulness, and three-valued logic |
Patrick Suppes |
Robert L. Causey |
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 |
| Logic, Methodology, and Philosophy of Science |
B Van Rootselaar |
J J C Smart |
Australasian Journal of Philosophy |
1969-12-01 |
| Elementary functions and coordinate geometry |
Sze-Tsen Hu |
Alonzo Church |
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 |
| Logic and Reality in Leibniz's Metaphysics |
G H R Parkinson |
Herve Barreau |
Revue Philosophique de Louvain |
1969-11-01 |
| Logic and Reality in Leibniz's Metaphysics |
G H R Parkinson |
Jean Wahl |
Revue de Metaphysique et de Morale |
1969-10-01 |
