| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7585097 (Why is no real title available?) | 2022-09-14 | Paper |
Remarks on two papers of Paul Bernays
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
Feferman's skepticism about set theory
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| Concepts versus objects | 2019-10-15 | Paper |
Richard Lane Tieszen, 1951–2017
Philosophia Mathematica | 2019-02-26 | Paper |
IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
The Bulletin of Symbolic Logic | 2018-01-11 | Paper |
Sets and Classes
Nôus | 2017-07-14 | Paper |
| scientific article; zbMATH DE number 6536298 (Why is no real title available?) | 2016-01-27 | Paper |
| Philosophy of mathematics in the twentieth century. Selected essays. | 2014-06-27 | Paper |
| Preface | 2013-09-03 | Paper |
| Hao Wang | 2013-09-03 | Paper |
| Bibliography of Hao Wang | 2013-09-03 | Paper |
Gödel and philosophical idealism
Philosophia Mathematica | 2011-03-09 | Paper |
| scientific article; zbMATH DE number 5859786 (Why is no real title available?) | 2011-03-02 | Paper |
| Mathematical thought and its objects | 2008-05-13 | Paper |
| Paul Bernays' later philosophy of mathematics | 2008-04-14 | Paper |
| scientific article; zbMATH DE number 2212217 (Why is no real title available?) | 2005-10-05 | Paper |
| scientific article; zbMATH DE number 2048508 (Why is no real title available?) | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1870427 (Why is no real title available?) | 2003-02-18 | Paper |
In Memoriam: Willard van Orman Quine 1908–2000
The Bulletin of Symbolic Logic | 2002-08-11 | Paper |
George Boolos (1940-1996)
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 922616 (Why is no real title available?) | 2001-01-10 | Paper |
| scientific article; zbMATH DE number 1344509 (Why is no real title available?) | 1999-10-04 | Paper |
| scientific article; zbMATH DE number 1254487 (Why is no real title available?) | 1999-08-17 | Paper |
Meanings in Ordinary Language and in Mathematics
Philosophia Mathematica | 1999-01-05 | Paper |
| scientific article; zbMATH DE number 1195916 (Why is no real title available?) | 1998-09-02 | Paper |
A Bibliography of Hao Wang
Philosophia Mathematica | 1998-08-10 | Paper |
| scientific article; zbMATH DE number 1163997 (Why is no real title available?) | 1998-07-29 | Paper |
Platonism and Mathematical Intuition in Kurt Gödel's Thought
The Bulletin of Symbolic Logic | 1996-07-10 | Paper |
In Memoriam: Hao Wang 1921–1995
The Bulletin of Symbolic Logic | 1996-06-02 | Paper |
The structuralist view of mathematical objects
Synthese | 1993-02-02 | Paper |
| scientific article; zbMATH DE number 47249 (Why is no real title available?) | 1992-09-17 | Paper |
Developing arithmetic in set theory without infinity: some historical remarks
History and Philosophy of Logic | 1987-01-01 | Paper |
Intensional logic in extensional language
Journal of Symbolic Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3593522 (Why is no real title available?) | 1977-01-01 | Paper |
The liar paradox
Journal of Philosophical Logic | 1974-01-01 | Paper |
Informal axiomatization, formalization and the concept of truth
Synthese | 1974-01-01 | Paper |
On translating logic
Synthese | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3521936 (Why is no real title available?) | 1974-01-01 | Paper |
On n-quantifier induction
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3320380 (Why is no real title available?) | 1970-01-01 | Paper |
Axiomatization of Åqvist's CS – Logics
Theoria | 1970-01-01 | Paper |
Corrigendum to my paper 'A propositional calculus intermediate between the minimal calculus and the classical'
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
Hierarchies of Primitive Recursive Functions
Mathematical Logic Quarterly | 1968-01-01 | Paper |
A propositional calculus intermediate between the minimal calculus and the classical
Notre Dame Journal of Formal Logic | 1966-01-01 | Paper |
A note on Quine's treatment of transfinite recursion
Journal of Symbolic Logic | 1964-01-01 | Paper |
The Ω-consistency of ramified analysis
Archiv für Mathematische Logik und Grundlagenforschung | 1962-01-01 | Paper |
