| Publication | Date of Publication | Type |
|---|
| Logicism and Second-Order Logic | 2020-12-02 | Paper |
| Zooming Down the Slippery Slope | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2968955 | 2017-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607747 | 2009-02-27 | Paper |
| Computability and Logic | 2008-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3148848 | 2002-09-24 | Paper |
| Must we believe in set theory? | 2002-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523461 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523467 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523482 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523457 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523478 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523465 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523459 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523468 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523458 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523464 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523470 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523462 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523469 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523480 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523486 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523460 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523466 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523473 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523474 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523476 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523475 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523479 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523481 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523483 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523484 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523463 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523471 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523472 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523477 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4523485 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4949915 | 2000-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266051 | 1999-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4258430 | 1999-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227561 | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208520 | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208521 | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208527 | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208518 | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397069 | 1998-06-30 | Paper |
| Constructing Cantorian counterexamples | 1997-08-05 | Paper |
| Frege's Theorem and the Peano Postulates | 1995-12-19 | Paper |
| The analytical completeness of Dzhaparidze's polymodal logics | 1993-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998431 | 1992-09-17 | Paper |
| Provability: The emergence of a mathematical modality | 1992-06-25 | Paper |
| Alphabetical order | 1988-01-01 | Paper |
| The degree of the set of sentences of predicate provability logic that are true under every interpretation | 1987-01-01 | Paper |
| A curious inference | 1987-01-01 | Paper |
| An incomplete system of modal logic | 1985-01-01 | Paper |
| 1-consistency and the diamond | 1985-01-01 | Paper |
| Don't eliminate cut | 1984-01-01 | Paper |
| The Logic of Provability | 1984-01-01 | Paper |
| Trees and finite satisfiability: proof of a conjecture of Burgess | 1984-01-01 | Paper |
| Extremely undecidable sentences | 1982-01-01 | Paper |
| On the nonexistence of certain normal forms in the logic of provability | 1982-01-01 | Paper |
| On systems of modal logic with provability interpretations | 1981-01-01 | Paper |
| Provability in arithmetic and a schema of Grzegorczyk | 1980-01-01 | Paper |
| Omega-consistency and the diamond | 1980-01-01 | Paper |
| Provability, truth, and modal logic | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861353 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196401 | 1979-01-01 | Paper |
| Reflection principles and iterated consistency assertions | 1979-01-01 | Paper |
| On deciding the truth of certain statements involving the notion of consistency | 1977-01-01 | Paper |
| On deciding the provability of certain fixed point statements | 1977-01-01 | Paper |
| On Kalmar's consistency proof and a generalization of the notion of ω-consistency | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4052072 | 1974-01-01 | Paper |
| Arithmetical Functions and Minimalization | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668469 | 1973-01-01 | Paper |
| On the Semantics of the Constructible Levels | 1970-01-01 | Paper |
| A proof of the Löwenheim-Skolem theorem | 1970-01-01 | Paper |
| Degrees of unsolvability of constructible sets of integers | 1968-01-01 | Paper |
