| Bolzano, Bemhard |
T. λ K. Kloyda |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Mathematical logic |
Joseph R. Shoenfield |
Donald Monk |
The Journal of Symbolic Logic |
1975 |
| H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
H.-D. Ebbinghaus |
The Journal of Symbolic Logic |
1974 |
| The theory of logical types |
Irving M. Copi |
Francis Jeffry Pelletier |
The Journal of Symbolic Logic |
1974 |
| Logic and philosophy. A modern introduction |
Howard Kahane |
Richard E. Robinson |
The Journal of Symbolic Logic |
1974 |
| Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique |
Gr.C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Recursion in objects of finite type |
Gerald E. Sacks |
D. A. Clarke |
The Journal of Symbolic Logic |
1974 |
| Théorie axiomatique des ensembles |
Jean-Louis Krivine |
Azriel Levy |
The Journal of Symbolic Logic |
1974 |
| Michael Morley. Partitions and models. Proceedings of the summer school in logic, Leeds |
M. H. Löb, Lecture notes in mathematics, no. 70 |
Wilfrid Hodges |
The Journal of Symbolic Logic |
1974 |
| Fred Sommers. On a Fregean dogma. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos, Studies in logic and the foundations of mathematics |
Gerald Standley |
The Journal of Symbolic Logic |
1974 |
| Freedom and Reason |
R. M. Hare |
Brian F. Chellas |
The Journal of Symbolic Logic |
1974 |
| Peirce's icons for deductive logic |
Hugues Leblanc |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1974 |
| Introduction |
Ignacio Angelelli |
Michael D. Resnik |
The Journal of Symbolic Logic |
1974 |
| Formalization and automatic theorem-proving |
Hao Wang |
Joyce Friedman |
The Journal of Symbolic Logic |
1974 |
| Heinrich Behmann. Drei Aporien der Identität. Logik and Logikkalkül |
Max Käsbauer and Franz von Kutschera |
John Perry |
The Journal of Symbolic Logic |
1974 |
| Conceptual foundations of scientific thought. An introduction to the philosophy of science |
Marx W. Wartofsky |
David Miller |
The Journal of Symbolic Logic |
1974 |
| Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. 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 |
William Glassmire |
The Journal of Symbolic Logic |
1974 |
| Law and Logic |
Joseph Horovitz |
Nicholas A. Vonneuman |
The Journal of Symbolic Logic |
1974 |
| Symbolic logic |
Irving M Copi |
Donald Kalish |
The Journal of Symbolic Logic |
1974 |
| Simplified independence proofs. Boolean valued models of set theory |
J. Barkley Rosser |
Aleksander Rutkowski |
The Journal of Symbolic Logic |
1974 |
| Replies to my critics. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
C. I. Lewis |
M. J. Cresswell |
The Journal of Symbolic Logic |
1974 |
| Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116 |
Bertrand Russell |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Lewis and the history of symbolic logic. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
Karl Dürr |
M. J. Cresswell |
The Journal of Symbolic Logic |
1974 |
| A general interpreted modal calculus |
Aldo Bressan |
R. A. Bull |
The Journal of Symbolic Logic |
1974 |
| Proof theory and intuitionistic systems |
Bruno Scarpellini |
A. S. Troelstra |
The Journal of Symbolic Logic |
1974 |
| Pascual Jordan. Quantenlogik und das kommutative Gesetz. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4 |
Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics |
M. Drieschner |
The Journal of Symbolic Logic |
1974 |
| Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
A. S. Kechris |
The Journal of Symbolic Logic |
1974 |
| Introductory note |
Jean van Heijenoort |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Lewis on contrary-to-fact conditionals. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
Arthur Pap |
M. J. Cresswell |
The Journal of Symbolic Logic |
1974 |
| D. Hilbert and P. Bernays |
|
G. T. Kneebone |
The Journal of Symbolic Logic |
1974 |
| E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Hans Freudenthal |
The Journal of Symbolic Logic |
1974 |
| Robert M. Solovay On the cardinality of sets of reals |
|
Frank R. Drake |
The Journal of Symbolic Logic |
1974 |
| The logic of C. I. Lewis. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
William Tuthill Parry |
M. J. Cresswell |
The Journal of Symbolic Logic |
1974 |
| Marshall Swain. Editor's introduction. Induction, acceptance, and rational belief |
Marshall Swain |
Ian Hacking |
The Journal of Symbolic Logic |
1974 |
| Contributions to non-standard analysis |
W. A. J. Luxemburg |
Diana L. Dubrovsky |
The Journal of Symbolic Logic |
1974 |
| Concepts, numbers, and quality |
Nicholas Georgescu-Roegen |
David Booth |
The Journal of Symbolic Logic |
1974 |
| The algebra of the copula |
Arthur N. Prior |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1974 |
| Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages |
Jon Barwise, Lecture notes in mathematics, no. 72 |
N. J. Cutland |
The Journal of Symbolic Logic |
1974 |
| The language of logic. A programed text |
Morton L. Schagrin |
H. B. Enderton |
The Journal of Symbolic Logic |
1974 |
| Logic for Philosophers |
Richard L. Purtill |
Richard E. Robinson |
The Journal of Symbolic Logic |
1974 |
| R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
Per Martin-Löf |
Robert A Di Paola |
The Journal of Symbolic Logic |
1974 |
| F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla |
S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl |
Calvin C. Elgot |
The Journal of Symbolic Logic |
1974 |
| Defining Relations and Algorithmic Problems for Groups and Semigroups |
S I Adjan |
Ann Yasuhara |
The Journal of Symbolic Logic |
1973-06-01 |
| Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie |
Gert Heinz Müller |
Dieter Rödding |
The Journal of Symbolic Logic |
1973 |
| Non-standard models and independence of the induction axiom |
Michael O. Rabin |
C. Smorynski |
The Journal of Symbolic Logic |
1973 |
| A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
R. E. Vesley |
The Journal of Symbolic Logic |
1973 |
| Normative systems |
Carlos E. Alchourrón and Eugenio Bulygin |
M. J. Cresswell |
The Journal of Symbolic Logic |
1973 |
| John Myhill. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1973 |
| Individuals. An essay in descriptive metaphysics |
P. F. Strawson |
James Cargile |
The Journal of Symbolic Logic |
1973 |
| R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
Carl E. Gordon |
The Journal of Symbolic Logic |
1973 |
