| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7592011 (Why is no real title available?) | 2022-09-23 | Paper |
| A beginner's guide to mathematical logic | 2019-01-22 | Paper |
| A beginner's guide to mathematical logic | 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. The magic, music and mathematics of Raymond Smullyan | 2015-05-21 | Paper |
| The {G}ödelian puzzle book. Puzzles, paradoxes and proofs | 2014-07-10 | Paper |
Truth and provability
The Mathematical Intelligencer | 2013-07-18 | Paper |
| Duplex diagonalization | 2013-04-24 | Paper |
| Self-reference in all its glory | 2009-02-24 | Paper |
| Logical labyrinths | 2009-02-03 | Paper |
An Isomorphism Related to Gödel's Fundamental Operations
Logic Journal of the IGPL | 2005-03-11 | Paper |
| scientific article; zbMATH DE number 1984516 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1749189 (Why is no real title available?) | 2003-07-05 | Paper |
| scientific article; zbMATH DE number 1245649 (Why is no real title available?) | 1999-01-26 | Paper |
| scientific article; zbMATH DE number 1226803 (Why is no real title available?) | 1998-11-25 | Paper |
| scientific article; zbMATH DE number 1021638 (Why is no real title available?) | 1997-06-16 | Paper |
| scientific article; zbMATH DE number 664031 (Why is no real title available?) | 1994-10-18 | Paper |
| scientific article; zbMATH DE number 459420 (Why is no real title available?) | 1994-01-02 | Paper |
| scientific article; zbMATH DE number 481375 (Why is no real title available?) | 1993-12-14 | Paper |
| scientific article; zbMATH DE number 194961 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 53543 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 47958 (Why is no real title available?) | 1992-09-17 | Paper |
Some unifying fixed point principles
Studia Logica | 1992-06-25 | Paper |
Some new double induction and superinduction principles
Studia Logica | 1990-01-01 | Paper |
Uniform self-reference
Studia Logica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3928959 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3931006 (Why is no real title available?) | 1985-01-01 | Paper |
Fixed points and self-reference
International Journal of Mathematics and Mathematical Sciences | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3867247 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839930 (Why is no real title available?) | 1981-01-01 | Paper |
TREES AND BALL GAMES
Annals of the New York Academy of Sciences | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3672245 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3422340 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3328126 (Why is no real title available?) | 1970-01-01 | Paper |
Analytic cut
Journal of Symbolic Logic | 1968-01-01 | Paper |
Uniform Gentzen systems
Journal of Symbolic Logic | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3274715 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3484056 (Why is no real title available?) | 1967-01-01 | Paper |
Trees and nest structures
Journal of Symbolic Logic | 1966-01-01 | Paper |
Finite nest structures and propositional logic
Journal of Symbolic Logic | 1966-01-01 | Paper |
Analytic natural deduction
Journal of Symbolic Logic | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3316881 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3484055 (Why is no real title available?) | 1965-01-01 | Paper |
| Effectively Simple Sets | 1964-01-01 | Paper |
A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
Proceedings of the National Academy of Sciences | 1963-01-01 | Paper |
On Post's canonical systems
Journal of Symbolic Logic | 1963-01-01 | Paper |
Pseudo-uniform reducibility
Journal of the Mathematical Society of Japan | 1963-01-01 | Paper |
| Creativity and Effective Inseparability | 1963-01-01 | Paper |
Monadic Elementary Formal Systems
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Elementary formal systems
Journal of the Mathematical Society of Japan | 1961-01-01 | Paper |
| Theory of Formal Systems. (AM-47) | 1961-01-01 | Paper |
| Extended Canonical Systems | 1961-01-01 | Paper |
Theories with Effectively Inseparable Nuclei
Mathematical Logic Quarterly | 1960-01-01 | Paper |
| Exact Separation of Recursively Enumerable Sets Within Theories | 1960-01-01 | Paper |
Undecidability and recursive inseparability
Mathematical Logic Quarterly | 1958-01-01 | Paper |
Languages in which self reference is possible
Journal of Symbolic Logic | 1957-01-01 | Paper |
