| Recursive function theory and logic |
Ann Yasuhara |
Oseph S. Ullian |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
Kenneth Kunen |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
Carl E. Gordon |
The Journal of Symbolic Logic |
1975 |
| Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Richard Mansfield |
The Journal of Symbolic Logic |
1975 |
| Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
S Mazur |
R L Goodstein |
The Journal of Symbolic Logic |
1975 |
| Set theory. English translation of XL 649(4) by M. Maczynski |
K. Kuratowski and A. Mostowski |
H. B. Enderton |
The Journal of Symbolic Logic |
1975 |
| J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover |
H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics |
William A. Howard |
The Journal of Symbolic Logic |
1975 |
| Jaakko Hintikka. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science |
Jaakko Hintikka |
Henry E Kyburg Jr |
The Journal of Symbolic Logic |
1975 |
| Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
C. Smorynski |
The Journal of Symbolic Logic |
1975 |
| C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams |
J. N. Crossley |
William E. Gould |
The Journal of Symbolic Logic |
1975 |
| Ordinals and functionals in proof theory |
Solomon Feferman |
Georg Kreisel |
The Journal of Symbolic Logic |
1975 |
| Decidability and definability in second-order theories |
Michael O. Rabin |
Dirk Siefkes |
The Journal of Symbolic Logic |
1975 |
| Richard M. Karp. Reducibility among combinatorial problems. Complexity of computer computations, Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Center, Yorktown Heights, New York |
Raymond E. Miller and James W. Thatcher |
Ronald V. Book |
The Journal of Symbolic Logic |
1975 |
| W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
E. G. K. LóPez-Escobar |
The Journal of Symbolic Logic |
1975 |
| Modal Logic and its Applications |
D. Paul Snyder |
Hugh Montgomery |
The Journal of Symbolic Logic |
1975 |
| Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
J. van Heijenoort |
The Journal of Symbolic Logic |
1975 |
| Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory |
E. R. Caianiello |
Jonathan P. Seldin |
The Journal of Symbolic Logic |
1975 |
| Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Richard J. Orgass |
The Journal of Symbolic Logic |
1975 |
| Michael O. Rabin. Weakly definable relations and special automata |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Dirk Siefkes |
The Journal of Symbolic Logic |
1975 |
| Fundamentals of symbolic logic |
Alice Ambrose and Morris Lazerowitz |
W. T. Parry |
The Journal of Symbolic Logic |
1975 |
| The Navya-Nyāya Doctrine of Negation. The Semantics and Ontology of Negative Statements in Navya-Nyāya Philosophy |
Bimal Krishna Matilal |
Jan Berg |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
C. E. M. Yates |
The Journal of Symbolic Logic |
1975 |
| A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
James R. Geiser |
The Journal of Symbolic Logic |
1975 |
| Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos, Studies in logic and the foundations of mathematics |
Henry E. Kyburg |
The Journal of Symbolic Logic |
1975 |
| A. N. Prior. Existence in Leśniewski and in Russell. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
C. Lejewski |
The Journal of Symbolic Logic |
1975 |
| Rudolf Carnap and Richard C. Jeffrey. Introduction. Studies in inductive logic and probability, Volume I |
Rudolf Carnap |
David Miller |
The Journal of Symbolic Logic |
1975 |
| Logic, Methodology and Philosophy of Science III |
B Van Rootselaar |
Ekkart Zimmerman |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1974-12-01 |
| Logic, Language, and Metaphysics |
Richard M Martin |
K E Jones |
Foundations of Language: International Journal of Language and Philosophy |
1974-11-01 |
| Medieval Logic and Metaphysics |
D P Henry |
Michael Loux |
Mind |
1974-10-01 |
| Modal Logic and its Applications |
D P Snyder |
K Fine |
Mind |
1974-10-01 |
| Leibniz's Philosophy of Logic and Language |
Hide Ishiguro |
G H R Parkinson |
Mind |
1974-10-01 |
| Logic, Language and Probability |
R J Bogdan |
Alex C Michalos |
Synthese |
1974-10-01 |
| Logic and Law: A Critical Account of Legal Argument |
Joseph Horovitz |
William Eastman |
Dialogue |
1974-09-01 |
| Studies in Inductive Logic and Probability. Volume I |
Rudolf Carnap |
James E. Tomberlin |
Philosophy and Phenomenological Research |
1974-09-00 |
| Eighteenth-Century British Logic and Rhetoric |
Wilbur Samuel Howell |
John Valdimir Price |
Journal of the History of Philosophy |
1974-07-01 |
| Logic and Contemporary Rhetoric |
Howard Kahane |
Robert Cogan |
Journal of Thought |
1974-07-00 |
| Logic, Language, and Probability |
R J Bodgan |
Veit Pittioni |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1974-06-01 |
| Leibniz's Philosophy of Logic and Language |
Hide Ishiguro |
Fred Feldman |
International Philosophical Quarterly |
1974-06-01 |
| "New Logic" and Diotima's "Tale of Love" |
Two Models of Public Opinion: Bacon |
Samuel H. Beer |
Political Theory |
1974-05-01 |
| Formal Semantics and Logic |
Bas C Van Fraassen |
Gerald J Massey |
Philosophy of Science |
1974-03-01 |
| Leibniz's Philosophy of Logic and Language |
Hide Ishiguro |
Bas C Van Fraassen |
Dialogue |
1974-03-01 |
| Leibniz's Philosophy of Logic and Language |
Hidé Ishiguro |
E. J. Ashworth |
Philosophy of Science |
1974-03-01 |
| Epistemology, Logic, and Grammar in Indian Philosophical Analysis, Janua Linguarum, Series Minor III |
Bimal K. Matilal |
John W. Yolton |
Journal of Indian Philosophy |
1974-03-00 |
| Medieval Logic and Metaphysics |
D P Henry |
Ivo Thomas |
The Philosophical Quarterly |
1974-01-01 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R Korfhage |
Julia Blasco |
Teorema |
1974-01-01 |
| Studies in Inductive Logic and Probability |
Rudolf Carnap |
Paul Teller |
The Journal of Philosophy |
1974-01-01 |
| Logic and Metaphysics in Aristotle |
Walter Leszl |
Abraham Edel |
Journal of the History of Philosophy |
1974-01-01 |
| Leibniz's Philosophy of Logic and Language |
Hidé Ishiguro |
Benson Mates |
Journal of the History of Philosophy |
1974-01-01 |
| Hegel's Idea of Philosophy, and: Logic and System, and: Logique et Dialectique, and: De Hegel à Marx |
|
W. H. (William Henry) Werkmeister |
Journal of the History of Philosophy |
1974-01-01 |
