| Publication | Date of Publication | Type |
|---|
| The Origin of the Group in Logic and the Methodology of Science | 2023-10-25 | Paper |
| A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC | 2023-05-26 | Paper |
| Syllogistic Logic and Mathematical Proof | 2023-01-24 | Paper |
| Some Unpublished Letters by G\"odel and von Neumann in the Fraenkel Archive | 2023-01-23 | Paper |
| Three Letters on the Foundations of Mathematics by Frank Plumpton Ramsey† | 2022-04-04 | Paper |
| An Essay Review of Three Books on Frank Ramsey† | 2022-04-04 | Paper |
| An Introduction to Proof Theory | 2021-08-24 | Paper |
| Neologicist Foundations: Inconsistent Abstraction Principles and Part-Whole | 2020-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5115669 | 2020-08-17 | Paper |
| Plane and Solid Geometry: A Note on Purity of Methods | 2020-02-04 | Paper |
| Definitions by Abstraction in the Peano School | 2020-02-03 | Paper |
| Abstraction and Infinity | 2019-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4585825 | 2018-09-10 | Paper |
| William Ewald and Wilfried Sieg, eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 (e-bk); 978-3-540-20578-4 (hbk). Pp. xxv + 1062 | 2017-03-03 | Paper |
| Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context | 2017-02-22 | Paper |
| Abstraction and infinity | 2016-10-13 | Paper |
| Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic | 2016-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5262993 | 2015-07-10 | Paper |
| IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS | 2015-06-29 | Paper |
| The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940 | 2014-01-07 | Paper |
| On the relationship between plane and solid geometry | 2012-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016124 | 2011-07-13 | Paper |
| The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940 | 2010-12-16 | Paper |
| Descartes and the cylindrical helix | 2010-09-06 | Paper |
| Measuring the size of infinite collections of natural numbers: was Cantor's theory of infinite number inevitable? | 2010-01-21 | Paper |
| Introduction: Interpolations -- essays in honor of William Craig | 2009-06-16 | Paper |
| Tarski on models and logical consequence | 2007-10-24 | Paper |
| Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science | 2006-01-10 | Paper |
| Visualization in Logic and Mathematics | 2005-08-22 | Paper |
| The Varieties of Mathematical Explanation | 2005-08-22 | Paper |
| Mathematics and Phenomenology: The Correspondence between O. Becker and H. Weyl | 2004-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793038 | 2003-02-18 | Paper |
| Mathematical explanation: problems and prospects. | 2001-12-18 | Paper |
| Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems | 2001-12-05 | Paper |
| Descartes's \textit{Géométrie} and revolutions in mathematics | 2001-08-29 | Paper |
| Bolzano and Cournot on mathematical explanation | 2001-08-27 | Paper |
| Between Russell and Hilbert: Behmann on the Foundations of Mathematics | 2000-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4950491 | 2000-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388953 | 1998-05-11 | Paper |
| Aristotelian logic and euclidean mathematics: Seventeenth-century developments of the quaestio de certitudine mathematicarum | 1993-01-16 | Paper |
| On the status of proofs by contradiction in the seventeenth century | 1992-06-28 | Paper |
| Generalizing classical and effective model theory in theories of operations and classes | 1991-01-01 | Paper |
| Torricelli's Infinitely Long Solid and Its Philosophical Reception in the Seventeenth Century | 1991-01-01 | Paper |
| Detleff Clüver: An Early Opponent of the Leibnizian Differential Calculus | 1990-01-01 | Paper |
| The metaphysics of the calculus: A foundational debate in the Paris Academy of Sciences, 1700-1706 | 1989-01-01 | Paper |
