| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5104553 | 2022-09-14 | Paper |
| Remarks on Two Papers of Paul Bernays | 2020-08-21 | Paper |
| Feferman’s Skepticism About Set Theory | 2020-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5236409 | 2019-10-15 | Paper |
| Richard Lane Tieszen, 1951–2017 | 2019-02-26 | Paper |
| IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) | 2018-01-11 | Paper |
| Sets and Classes | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464649 | 2016-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5166626 | 2014-06-27 | Paper |
| Preface | 2013-09-03 | Paper |
| Hao Wang | 2013-09-03 | Paper |
| Bibliography of Hao Wang | 2013-09-03 | Paper |
| Godel and Philosophical Idealism | 2011-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079629 | 2011-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5387442 | 2008-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457386 | 2008-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5694961 | 2005-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452539 | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793039 | 2003-02-18 | Paper |
| In Memoriam: Willard van Orman Quine 1908–2000 | 2002-08-11 | Paper |
| George Boolos (1940-1996) | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893136 | 2001-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266052 | 1999-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227555 | 1999-08-17 | Paper |
| Meanings in Ordinary Language and in Mathematics | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208519 | 1998-09-02 | Paper |
| A Bibliography of Hao Wang | 1998-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395624 | 1998-07-29 | Paper |
| Platonism and Mathematical Intuition in Kurt Gödel's Thought | 1996-07-10 | Paper |
| In Memoriam: Hao Wang 1921–1995 | 1996-06-02 | Paper |
| The structuralist view of mathematical objects | 1993-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998383 | 1992-09-17 | Paper |
| Developing arithmetic in set theory without infinity: some historical remarks | 1987-01-01 | Paper |
| Intensional logic in extensional language | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4161289 | 1977-01-01 | Paper |
| The liar paradox | 1974-01-01 | Paper |
| Informal axiomatization, formalization and the concept of truth | 1974-01-01 | Paper |
| On translating logic | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4099599 | 1974-01-01 | Paper |
| On n-quantifier induction | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5600870 | 1970-01-01 | Paper |
| Axiomatization of Åqvist's CS – Logics | 1970-01-01 | Paper |
| Corrigendum to my paper 'A propositional calculus intermediate between the minimal calculus and the classical' | 1969-01-01 | Paper |
| Hierarchies of Primitive Recursive Functions | 1968-01-01 | Paper |
| A propositional calculus intermediate between the minimal calculus and the classical | 1966-01-01 | Paper |
| A note on Quine's treatment of transfinite recursion | 1964-01-01 | Paper |
| The Ω-consistency of ramified analysis | 1962-01-01 | Paper |
