| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Michael O. Rabin. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
William Hanf |
The Journal of Symbolic Logic |
1971 |
| L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Wolfgang Rautenberg |
The Journal of Symbolic Logic |
1971 |
| Contemporary Philosophy. A Survey. I: Logic and Foundations of Mathematics. II: Philosophy of Science. (International Institute of Philosophy) |
Raymond Klibansky |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1970-07-00 |
| Contemporary Philosophy (La Philosophie Contemporaine). Volume I, Logic and Foundations of Mathematics |
R. Klibansky |
R. H. K. |
The Review of Metaphysics |
1970-03-00 |
| Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
F. R. Drake |
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 |
| 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 |
| 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 |
| 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 |
| Contemporary Philosophy: La Philosophie contemporaine; Vol. I, Logic and Foundations of Mathematics |
Raymond Klibansky |
Alex C. Michalos |
Dialogue |
1969-09-01 |
| Mathematics and Logic in History and Contemporary Thought |
Ettore Carruccio |
E. J. (Edward John) Lemmon |
Journal of the History of Philosophy |
1967-01-01 |
| Mathematics and Logic in History and in Contemporary Thought Ettore Carruccio Isabel Quigly |
Ettore Carruccio |
Edward E. Dawson |
Philosophy |
1966-01-00 |
| Mathematical Logic and the Foundations of Mathematics |
G. T. Kneebone |
J. C. Shepherdson |
The British Journal for the Philosophy of Science |
1964-11-01 |
| Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics |
Hans Reichenbach |
Czesław Lejewski |
The British Journal for the Philosophy of Science |
1955-02-01 |
| Consciousness, philosophy, and mathematics |
L. E. J. Brouwer |
Alonzo Church |
The Journal of Symbolic Logic |
1949-06-23 |
| פילוסופיה של המתימטיקה (Philosophy of mathematics). Translated by David Meuhad (Klinghofer). Revised and annotated by Abraham Adolf Fraenkel |
Hermann Weyl |
George W. Brown |
The Journal of Symbolic Logic |
1947 |
