| Publication | Date of Publication | Type |
|---|
| The early history of formal diagonalization | 2024-02-20 | Paper |
| Where Do Axioms Come From? | 2022-12-14 | Paper |
| Mathematical Problems | 2020-09-03 | Paper |
| Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age | 2018-11-19 | Paper |
| MVT: A Most Valuable Theorem | 2017-03-20 | Paper |
| Book review of: D. van Dalen, L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life | 2015-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4912855 | 2013-03-27 | Paper |
| Chapters in probability | 2012-08-14 | Paper |
| Adventures in formalism | 2012-08-14 | Paper |
| Chapters in mathematics. From \(\pi\) to Pell | 2012-08-14 | Paper |
| History of Mathematics | 2007-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4343989 | 1997-07-08 | Paper |
| Logical number theory I. An introduction | 1992-09-17 | Paper |
| Arithmetic analogues of McAloon's unique Rosser sentences | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816045 | 1988-01-01 | Paper |
| Quantified modal logic and self-reference | 1987-01-01 | Paper |
| Julia Robinson, in memoriam | 1986-01-01 | Paper |
| Self-reference and modal logic | 1985-01-01 | Paper |
| What's new in logic? | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216650 | 1984-01-01 | Paper |
| The finite inseparability of the first-order theory of diagonalisable algebras | 1982-01-01 | Paper |
| Fixed point algebras | 1982-01-01 | Paper |
| A note on initial segment constructions in recursively saturated models of arithmetic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968927 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666845 | 1982-01-01 | Paper |
| Commutativity and self-reference | 1982-01-01 | Paper |
| The varieties of arboreal experience | 1982-01-01 | Paper |
| Recursively saturated nonstandard models of arithmetic; addendum | 1982-01-01 | Paper |
| Elementary extensions of recursively saturated models of arithmetic | 1981-01-01 | Paper |
| Fifty years of self-reference in arithmetic | 1981-01-01 | Paper |
| Recursively saturated nonstandard models of arithmetic | 1981-01-01 | Paper |
| Skolem's solution to a problem of Frobenius | 1981-01-01 | Paper |
| Cofinal extensions of nonstandard models of arithmetic | 1981-01-01 | Paper |
| Calculating self-referential statements: Guaspari sentences of the first kind | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919713 | 1980-01-01 | Paper |
| Calculating self-referential statements | 1980-01-01 | Paper |
| Some rapidly growing functions | 1980-01-01 | Paper |
| Calculating self-referential statements. I: Explicit calculations | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900021 | 1978-01-01 | Paper |
| The axiomatization problem for fragments | 1978-01-01 | Paper |
| Avoiding Self-Referential Statements | 1978-01-01 | Paper |
| On axiomatizing fragments | 1978-01-01 | Paper |
| A note on the number of zeros of polynomials and exponential polynomials | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875926 | 1977-01-01 | Paper |
| Kripke models and the intuitionistic theory of species | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053624 | 1974-01-01 | Paper |
| Elementary intuitionistic theories | 1973-01-01 | Paper |
