| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6203986 | 2024-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6203992 | 2024-04-08 | Paper |
| Explicit Composition and Its Application in Proofs of Normalization | 2022-06-03 | Paper |
| Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics | 2022-04-06 | Paper |
| Von Neumann explains his game theory to Gödel, September 1940 | 2021-04-19 | Paper |
| IN SEARCH OF THE SOURCES OF INCOMPLETENESS | 2020-09-22 | Paper |
| Can Mathematics Be Proved Consistent? | 2020-09-03 | Paper |
| What Are the Axioms for Numbers and Who Invented Them? | 2020-08-21 | Paper |
| Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms | 2020-08-10 | Paper |
| Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction | 2020-04-03 | Paper |
| Aristotle’s Deductive Logic: a Proof-Theoretical Study | 2020-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5215775 | 2020-02-13 | Paper |
| Meaning in Use | 2020-02-04 | Paper |
| From mathematical axioms to mathematical rules of proof: recent developments in proof analysis | 2019-12-05 | Paper |
| Organization and development of a constructive axiomatization | 2019-01-15 | Paper |
| KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION | 2018-10-26 | Paper |
| Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations | 2018-10-08 | Paper |
| Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations | 2018-09-06 | Paper |
| From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction | 2018-03-21 | Paper |
| From Hauptsatz to Hilfssatz | 2017-09-27 | Paper |
| The Great Formal Machinery Works | 2017-08-18 | Paper |
| Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics | 2016-08-10 | Paper |
| David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. | 2016-03-18 | Paper |
| GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE | 2016-03-18 | Paper |
| Gödel, Gentzen, Goodstein: the magic sound of a G-string | 2015-04-23 | Paper |
| Il silenzio delle sirene: La matematica greca antica | 2015-03-25 | Paper |
| From axiomatic logic to natural deduction | 2015-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5408687 | 2014-04-11 | Paper |
| Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth | 2013-11-27 | Paper |
| Gentzen's Proof Systems: Byproducts in a Work of Genius | 2012-09-19 | Paper |
| NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION | 2012-06-11 | Paper |
| Proof Analysis | 2012-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101104 | 2011-11-22 | Paper |
| Combinatorial analysis of proofs in projective and affine geometry | 2011-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016126 | 2011-07-13 | Paper |
| A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3536282 | 2008-11-21 | Paper |
| Gentzen's Proof of Normalization for Natural Deduction | 2008-06-09 | Paper |
| In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs | 2007-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310898 | 2007-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718568 | 2006-01-16 | Paper |
| Normal derivability in modal logic | 2005-11-15 | Paper |
| Permutability of rules in lattice theory. | 2005-04-19 | Paper |
| Proof-theoretical analysis of order relations | 2004-12-16 | Paper |
| Proof systems for lattice theory | 2004-09-24 | Paper |
| Translations from natural deduction to sequent calculus | 2003-11-10 | Paper |
| Natural deduction with general elimination rules | 2003-09-16 | Paper |
| Skolem's discovery of Gödel-Dummett logic | 2003-04-27 | Paper |
| Sequent calculus in natural deduction style | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2744125 | 2001-09-18 | Paper |
| A proof of Gentzen's \textit{Hauptsatz} without multicut | 2001-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838817 | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552746 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939407 | 2000-10-25 | Paper |
| Cut Elimination in the Presence of Axioms | 2000-04-06 | Paper |
| Formalization of Hilbert's geometry of incidence and parallelism | 2000-03-21 | Paper |
| Order in open intervals of computable reals | 2000-02-28 | Paper |
| A constructive theory of ordered affine geometry | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376959 | 1998-02-17 | Paper |
| The axioms of constructive geometry | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4844969 | 1995-08-28 | Paper |
| Oresme's proof of the density of rotations of a circle through an irrational angle | 1994-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713272 | 1992-06-25 | Paper |
| Finite partial exchangeability | 1991-01-01 | Paper |
| The Method of Arbitrary Functions | 1983-01-01 | Paper |
| The significance of the ergodic decomposition of stationary measures for the interpretation of probability | 1982-01-01 | Paper |
| Reductive relations in interpretations of probability | 1981-01-01 | Paper |
