| 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 |
| 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 |
| 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 |
| David Isles. Regular ordinals and normal forms. 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 |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1973 |
| Foundations of mathematics |
William S Hatcher |
Yvon Gauthier |
Dialogue |
1972-03-01 |
| Foundations of mathematics |
William S Hatcher |
John Corcoran |
Philosophy of Science |
1972-03-01 |
| Language, Mathematics and Linguistics |
C F Hockett |
H Schnelle |
Foundations of Language: International Journal of Language and Philosophy |
1972-01-01 |
| Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Bruce Lercher |
The Journal of Symbolic Logic |
1972 |
| Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). 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 |
James E. Baumgartner |
The Journal of Symbolic Logic |
1972 |
| J. R. Shoenheld. Applications of model theory to degrees of unsolvability. 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 |
Gerald E. Sacks |
The Journal of Symbolic Logic |
1972 |
| F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. 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 |
Anne Preller |
The Journal of Symbolic Logic |
1971 |
| 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 |
| Peter Freyd. The theories of functors and models. 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 |
Anne Preller |
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 |
| A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
O. Chateaubriand |
The Journal of Symbolic Logic |
1971 |
| A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover |
H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics |
Ralph Seifert |
The Journal of Symbolic Logic |
1971 |
| Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. 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 |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Carol R. Karp. Finite-quantifier equivalence. 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 |
H. Jerome Keisler |
The Journal of Symbolic Logic |
1971 |
| Wolfram Schwabhäuser. On models of elementary elliptic geometry. 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 |
L. W. Szczerba |
The Journal of Symbolic Logic |
1971 |
| Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel |
T. Holyoke |
JOHN P. Cleave |
The British Journal for the Philosophy of Science |
1970-11-01 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Contemporary Philosophy: La Philosophie contemporaine; Vol. I, Logic and Foundations of Mathematics |
Raymond Klibansky |
Alex C. Michalos |
Dialogue |
1969-09-01 |
| Raymond L. Wilder. Introduction to the foundations of mathematics. Second edition of XIX 225 |
|
Krister Segerberg |
The Journal of Symbolic Logic |
1969-07-25 |
| Remarks on the Foundations of Mathematics |
Ludwig Wittgenstein |
Gerard Deledalle |
Les Études Philosophiques |
1969-07-01 |
| W. Hanf. Model-theoretic methods in the study of elementary logic. 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 |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
David Nelson |
The Journal of Symbolic Logic |
1969-05-29 |
| The foundations of mathematics. A study in the philosophy of science |
Evert W. Beth |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969 |
| Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960 |
A. Heyting, Studies in logic and the foundations of mathematics |
Yiannis N. Moschovakis |
The Journal of Symbolic Logic |
1968-10-10 |
| R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. 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 |
G. Fuhrken |
The Journal of Symbolic Logic |
1968-10-10 |
| Michael Morley. Omitting classes of elements. 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 |
E. G. K. Lopez-Escobar |
The Journal of Symbolic Logic |
1968-07-23 |
| A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
G. H. Matthews |
The Journal of Symbolic Logic |
1967-10-09 |
