| From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s |
Paolo Mancosu |
Ulrich Majer |
Vienna Circle Institute Yearbook |
2000-01-01 |
| Wittgenstein, Finitism, and the Foundations of Mathematics |
Mathieu Marion |
J. Robert Loftis |
Philosophy in Review |
2000-01-01 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
Wilfried Sieg |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
C. Dimitracopoulos |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
H. B. Enderton |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
David Marker |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
Wilfried Sieg |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
J. V. Tucker |
The Journal of Symbolic Logic |
1990 |
| The ethnomethodological foundations of mathematics. Studies in ethnomethodology |
Eric Livingston |
Thomas Tymoczko |
The Journal of Symbolic Logic |
1989 |
| Foundations of constructive mathematics. Metamathematical studies |
Michael J. Beeson |
William A. Howard |
The Journal of Symbolic Logic |
1987 |
| The logical foundations of mathematics |
William S. Hatcher |
Frederick W. Kroon |
The Journal of Symbolic Logic |
1986 |
| The logical foundations of mathematics |
William S. Hatcher |
Frederick W. Kroon |
The Journal of Symbolic Logic |
1986 |
| The logical foundations of mathematics |
William S Hatcher |
Corrado Mangione |
History and Philosophy of Logic |
1984-01-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
Mark Steiner |
The Journal of Symbolic Logic |
1984 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
P Roeper |
Australasian Journal of Philosophy |
1982-12-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
D A Gillies |
The British Journal for the Philosophy of Science |
1982-12-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
J R Cameron |
Philosophical Books |
1982-04-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
Hans D Sluga |
Inquiry |
1982-03-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
Charles F. Kielkopf |
Philosophy of Science |
1981-09-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
Alec Fisher |
Ratio |
1981-06-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
Charles MeCarty |
Grazer Philosophische Studien |
1981-01-01 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
Stanley Rosen |
The Review of Metaphysics |
1980-12-01 |
| Remarks on the Foundations of Mathematics |
Ludwig Wittgenstein |
Richard Fleming |
Philosophical Investigations |
1980-12-01 |
| L. E. J. Brouwer: Philosophy and Foundations of Mathematics |
A Heyting |
Michael Dummett |
Mind |
1980-10-01 |
| Collected Works, V1: Philosophy and Foundations of Mathematics |
L E J Brouwer |
D A Gillies |
Erkenntnis |
1980-03-01 |
| Logic, Foundations of Mathematics, and Computability Theory |
R. E. Butts |
David Miller |
Synthese |
1980-03-00 |
| L. E. J. Brouwer -- Collected Works, V1: Philosophy and Foundations of Mathematics |
A Heyting |
Walter P Van Stigt |
|
1979-12-01 |
| Wittgenstein's Lectures on the Foundations of Mathematics: Cambridge |
Cora Diamond |
P. A. Y. (Pete Addison Y.) Gunter |
Journal of the History of Philosophy |
1979-07-01 |
| Wittgenstein's Lectures on the Foundations of Mathematics: Cambridge |
Cora Diamond |
Christopher Coope |
Philosophical Books |
1979-01-01 |
| L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics |
L E J Brouwer |
Joan Rand Moschovakis |
The Journal of Symbolic Logic |
1979 |
| Collected Works, V1, Philosophy and Foundations of Mathematics |
A Heyting |
Veit Pittioni |
Conceptus: Zeitschrift für Philosophie |
1978-01-01 |
| Logic, Foundations of Mathematics, and Computability Theory |
R E Butts |
Gabriele Lolli |
Scientia: International Review of Scientific Synthesis |
1978-01-01 |
| Wittgensteins Lectures on the Foundations of Mathematics |
Cora Diamond |
Paul G Morrison |
Philosophy and Phenomenological Research |
1977-06-01 |
| Collected Works, V1: Philosophy and Foundations of Mathematics |
L E J Brouwer |
Anonymous |
International Logic Review |
1975-06-01 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
