| The Concept of Motion in Ancient Greek Thought: Foundations in Logic, Method, and Mathematics |
Barbara M Sattler |
Daniel Kranzelbinder |
Rhizomata: A Journal for Ancient Philosophy and Science |
2025-01-01 |
| The Concept of Motion in Ancient Greek Thought: Foundations in Logic, Method, and Mathematics |
Barbara M. Sattler |
Jacob Rosen |
The Philosophical Review |
2022-10-01 |
| The Concept of Motion in Ancient Greek Thought: Foundations in Logic, Method, and Mathematics |
Barbara M Sattler |
Dorothea Frede |
Deutsche Zeitschrift für Philosophie |
2022-01-01 |
| Philosophical Approaches to the Foundations of Logic and Mathematics: In Honor of Stanisław Krajewski |
Marcin Trepczyński |
|
Philosophia Mathematica |
2021-11-30 |
| Kreisel's Interests: On the Foundations of Logic and Mathematics |
Paul Weingartner |
Dag Prawitz |
Philosophia Mathematica |
2021-10-08 |
| The Concept of Motion in Ancient Greek Thought: Foundations in Logic, Method, and Mathematics |
Barbara M Sattler |
Daniel W Graham |
Ancient Philosophy |
2021-09-01 |
| Kreisel's Interests: On the Foundations of Logic and Mathematics |
Paul Weingartner |
|
Philosophia Mathematica |
2020-07-31 |
| Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics |
Jan von Plato |
Adrian Rezuş |
Studia Logica |
2019-06-15 |
| Lesniewski's Systems of Logic and Foundations of Mathematics |
Rafal Urbaniak |
Peter Simons |
Philosophia Mathematica |
2017-02-01 |
| Leśniewski's Systems of Logic and Foundations of Mathematics |
Rafał Urbaniak |
Peter Simons |
Philosophia Mathematica |
2016-12-26 |
| The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19 |
Kenneth Kunen |
Steffen Lempp |
The Bulletin of Symbolic Logic |
2016-06-00 |
| Kurt Gödel and the Foundations of Mathematics: Horizons of Truth |
Matthias Baaz |
John W Dawson Jr |
History and Philosophy of Logic |
2012-05-01 |
| Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152 |
Jaap Van Oosten |
Peter T. Johnstone |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
Fairouz Kamareddine |
History and Philosophy of Logic |
2008-08-01 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
James H Andrews |
The Bulletin of Symbolic Logic |
2007-03-01 |
| From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides, Vol. 48) |
Laura Crosilla |
Jaap Van Oosten |
The Bulletin of Symbolic Logic |
2006-12-01 |
| The Foundations of Mathematics in the Theory of Sets: Encyclopedia of Mathematics and Its Applications Ser., Vol. 82 |
John P Mayberry |
O Bradley Bassler |
Notre Dame Journal of Formal Logic |
2005-01-01 |
| Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography |
Yves Nievergelt |
Walter A. Carnielli |
Studia Logica |
2004-12 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Jean-Claude Dumoncel |
History and Philosophy of Logic |
2003-01-01 |
| Computability. Computable Functions, Logic, and the Foundations of Mathematics Richard L. Epstein Walter A. Carnielli |
Richard L. Epstein |
Carlos Augusto Di Prisco |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics (Second Edition) |
Richard L Epstein |
R Zach |
History and Philosophy of Logic |
2002-01-01 |
| The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel |
I Grattan-Guinness |
Ignacio Jané |
History and Philosophy of Logic |
2002-01-01 |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics (Second Edition) |
Richard L Epstein |
Simon Thompson |
Manuscrito |
2001-04-01 |
| The logical foundations of mathematics |
William S Hatcher |
Corrado Mangione |
History and Philosophy of Logic |
1984-01-01 |
| Logic, Foundations of Mathematics, and Computability Theory |
R. E. Butts |
David Miller |
Synthese |
1980-03-00 |
| 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 |
| Logic, Foundations of Mathematics, and Computability Theory |
R E Butts |
Gabriele Lolli |
Scientia: International Review of Scientific Synthesis |
1978-01-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 |
| 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 |
| 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 |
