| 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 |
| Studies in the Methodology and Foundations of Science |
P Suppes |
David Mack |
Human Context |
1973-09-01 |
| 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 |
| 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 |
| Quantum Theory and Reality: Studies in the Foundations Methodology, and Philosophy of Science |
M. Bunge |
H. Fröhlich |
The British Journal for the Philosophy of Science |
1969-08-01 |
| Quantum Theory and Reality: Studies in the Foundations, Methodology, and Philosophy of Science, Vol. 2 |
Mario Bunge |
T. W. Settle |
Dialogue |
1968-09-01 |
