| 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 |
