| Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts |
Stefania Centrone |
Matteo De Ceglie |
Studia Logica |
2025-02-01 |
| 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 |
| Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics |
Francesca Boccuni |
|
Philosophia Mathematica |
2023-02-25 |
| 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 |
| Ontology and the foundations of mathematics: talking past each other |
Penelope Rush |
Nicholas Danne |
Metascience |
2022-09-26 |
| Ontology and the foundations of mathematics: talking past each other |
Penelope Rush |
Geoffrey Hellman |
Philosophia Mathematica |
2022-08-13 |
| 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 |
| Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts |
Stefania Centrone |
Hans-Christoph Kotzsch |
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 |
| Conceptions of Set and the Foundations of Mathematics |
Luca Incurvati |
John Wigglesworth |
Analysis |
2021-05-05 |
| Conceptions of Set and the Foundations of Mathematics |
Luca Incurvati |
Jan Stepánek |
Pro-Fil: An Internet Journal of Philosophy |
2021-01-01 |
| Conceptions of Set and the Foundations of Mathematics |
Luca Incurvati |
Øystein Linnebo |
Notre Dame Philosophical Reviews |
2020-12-02 |
| Kreisel's Interests: On the Foundations of Logic and Mathematics |
Paul Weingartner |
|
Philosophia Mathematica |
2020-07-31 |
| Conceptions of Set and the Foundations of Mathematics |
Luca Incurvati |
John Burgess |
Philosophia Mathematica |
2020-07-27 |
| 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 |
| Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction |
Pavel Pudlák |
Alasdair Urquhart |
Philosophia Mathematica |
2015-02-19 |
| Kurt Gödel and the Foundations of Mathematics: Horizons of Truth |
Matthias Baaz |
Peter Smith |
Philosophia Mathematica |
2012-06-01 |
| 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 |
| Kurt Gödel and the Foundations of Mathematics: Horizons of Truth |
Matthias Baaz |
Michael Liston |
Notre Dame Philosophical Reviews |
2012-02-13 |
| Essays on the Foundations of Mathematics by Moritz Pasch |
Stephen Pollard |
Sébastien Gandon |
Philosophia Mathematica |
2011-10-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 |
| Cultural Foundations of Mathematics: The Nature of Mathematical Proof and the Transmission of the Calculus from India to Europe in the 16th c. C.E |
C K Raju |
José Ferreirós |
Philosophia Mathematica |
2009-10-01 |
| Gramatyka w dobie sporu o podstawy matematyki: Esej o drugiej filozofii Wittgensteina (Grammar in the Age of the Dispute over the Foundations of Mathematics: An Essay on Wittgenstein's Second Philosophy) |
Krzysztof Rotter |
Jakub Gomulka |
Polish Journal of Philosophy |
2009-01-01 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
Fairouz Kamareddine |
History and Philosophy of Logic |
2008-08-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Jesus Mari Larrazabal |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2007-10-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 Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Alexander Paseau |
Philosophical Books |
2005-10-01 |
| Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman (Lecture Notes in Logic, Vol. 15) |
Wilfred Sieg |
David Charles McCarty |
The Bulletin of Symbolic Logic |
2005-06-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 |
Mark Colyvan |
The Bulletin of Symbolic Logic |
2004-06-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Keith Simmons |
Philosophia Mathematica |
2004-06-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
J. R. Brown |
Mind |
2004-01-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Carlo Cellucci |
European Journal of Philosophy |
2003-12-01 |
| The Foundations of Mathematics in the Theory of Sets |
John Mayberry |
Roy T. Cook |
The British Journal for the Philosophy of Science |
2003-06-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Jean-Claude Dumoncel |
History and Philosophy of Logic |
2003-01-01 |
| The Foundations Of Mathematics In The Theory Of Sets. Encyclopedia Of Mathematics And Its Applications Ser |
J. P. Mayberry |
Colin McLarty |
Philosophy of Science |
2002-06-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 |
| 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 |
Alasdair Urquhart |
Russell: The Journal of Bertrand Russell Studies |
2001-06-01 |
| Wittgenstein, Finitism, and the Foundations of Mathematics |
Mathieu Marion |
Marc A Joseph |
Mind |
2001-04-01 |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics (Second Edition) |
Richard L Epstein |
Simon Thompson |
Manuscrito |
2001-04-01 |
| Wittgenstein, Finitism, and the Foundations of Mathematics |
Mathieu Marion |
Eric Winsberg |
Philosophy of Science |
2000-09-01 |
