| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5868872 | 2022-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4610460 | 2019-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2964182 | 2017-02-23 | Paper |
| A Beginner's Further Guide to Mathematical Logic | 2016-12-22 | Paper |
| The Magic Garden of George B and Other Logic Puzzles | 2015-05-21 | Paper |
| Reflections | 2015-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5169493 | 2014-07-10 | Paper |
| Truth and provability | 2013-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918397 | 2013-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3604283 | 2009-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3599164 | 2009-02-03 | Paper |
| An Isomorphism Related to Gödel's Fundamental Operations | 2005-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428881 | 2003-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532190 | 2003-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226423 | 1999-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4220568 | 1998-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4340909 | 1997-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309515 | 1994-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4271268 | 1994-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4274292 | 1993-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692926 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003735 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999021 | 1992-09-17 | Paper |
| Some unifying fixed point principles | 1992-06-25 | Paper |
| Some new double induction and superinduction principles | 1990-01-01 | Paper |
| Uniform self-reference | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703868 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705451 | 1985-01-01 | Paper |
| Fixed points and self-reference | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3335706 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310595 | 1981-01-01 | Paper |
| TREES AND BALL GAMES | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869300 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5684645 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606558 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5560258 | 1968-01-01 | Paper |
| Analytic cut | 1968-01-01 | Paper |
| Uniform Gentzen systems | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067102 | 1967-01-01 | Paper |
| Trees and nest structures | 1966-01-01 | Paper |
| Finite nest structures and propositional logic | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067101 | 1965-01-01 | Paper |
| Analytic natural deduction | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596743 | 1965-01-01 | Paper |
| Effectively Simple Sets | 1964-01-01 | Paper |
| Pseudo-uniform reducibility | 1963-01-01 | Paper |
| On Post's canonical systems | 1963-01-01 | Paper |
| Creativity and Effective Inseparability | 1963-01-01 | Paper |
| A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY | 1963-01-01 | Paper |
| Elementary formal systems | 1961-01-01 | Paper |
| Theory of Formal Systems. (AM-47) | 1961-01-01 | Paper |
| Extended Canonical Systems | 1961-01-01 | Paper |
| Monadic Elementary Formal Systems | 1961-01-01 | Paper |
| Theories with Effectively Inseparable Nuclei | 1960-01-01 | Paper |
| Exact Separation of Recursively Enumerable Sets Within Theories | 1960-01-01 | Paper |
| Undecidability and recursive inseparability | 1958-01-01 | Paper |
| Languages in which self reference is possible | 1957-01-01 | Paper |
