| Publication | Date of Publication | Type |
|---|
| Maximen V / Maxims V | 2023-08-02 | Paper |
| Maximen IV / Maxims IV | 2022-05-06 | Paper |
| Zeiteinteilung (Maximen) I und II | 2022-02-14 | Paper |
| Philosophie I Maximen 0 / Philosophy I Maxims 0 | 2022-02-14 | Paper |
| Maximen III / Maxims III | 2022-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2968887 | 2017-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416148 | 2014-05-19 | Paper |
| Collected works. Vol. V: Correspondence, H--Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg | 2013-08-29 | Paper |
| Collected works. Vol. IV: Correspondence, A--G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg | 2013-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3621611 | 2009-04-21 | Paper |
| On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman | 2007-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5704852 | 2005-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5704851 | 2005-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452529 | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787957 | 2003-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787958 | 2003-01-19 | Paper |
| Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others. | 2001-07-25 | Paper |
| An example of a new type of cosmological solutions of Einstein's field equations of gravitation | 2001-05-02 | Paper |
| Rotating universes in general relativity theory. (Reprint) | 2001-05-02 | Paper |
| Les mathématiques sont-elles une syntaxe du langage? | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838112 | 1998-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4875012 | 1996-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4859908 | 1996-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023115 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997237 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3720554 | 1986-01-01 | Paper |
| On a hitherto unexploited extension of the finitary standpoint | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5737082 | 1962-01-01 | Paper |
| ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES | 1958-01-01 | Paper |
| Consistency of the Continuum Hypothesis. (AM-3) | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816568 | 1952-01-01 | Paper |
| An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation | 1949-01-01 | Paper |
| What is Cantor's Continuum Problem? | 1948-01-01 | Paper |
| Consistency of the Continuum Hypothesis. (AM-3) | 1940-01-01 | Paper |
| Consistency-Proof for the Generalized Continuum-Hypothesis | 1939-01-01 | Paper |
| Consistency-proof for the generalized continuum-hypothesis. | 1939-01-01 | Paper |
| The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis | 1938-01-01 | Paper |
| The consistency of the axiom of choice and of the generalized continuum-hypothesis. | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5760848 | 1936-01-01 | Paper |
| Über die Länge von Beweisen. | 1936-01-01 | Paper |
| Zum Entscheidungsproblem des logischen Funktionenkalküls | 1933-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4754492 | 1933-01-01 | Paper |
| Über die Waldsche Axiomatik des Zwischenbegriffes. | 1933-01-01 | Paper |
| Über die metrische Einbettbarkeit der Quadrupel des \(R_3\) in Kugelflächen. | 1933-01-01 | Paper |
| Bemerkung über projektive Abbildungen. | 1933-01-01 | Paper |
| Diskussion über koordinatenlose Differentialgeometrie. | 1933-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4754493 | 1933-01-01 | Paper |
| Zum Entscheidungsproblem des logischen Funktionenkalküls. | 1933-01-01 | Paper |
| Zur intuitionistischen Arithmetik und Zahlentheorie. | 1933-01-01 | Paper |
| Eine Interpretation des intuitionistischen Aussagenkalküls. | 1933-01-01 | Paper |
| Zum intuitionistischen Aussagenkalkül. | 1933-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4754491 | 1933-01-01 | Paper |
| Über Unabhängigkeitsbeweise im Aussagenkalkül. | 1933-01-01 | Paper |
| Zum intuitionistischen Aussagekalkül. | 1932-01-01 | Paper |
| Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I | 1931-01-01 | Paper |
| Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. | 1931-01-01 | Paper |
| Über Vollständigkeit und Widerspruchsfreiheit. | 1931-01-01 | Paper |
| Eine Eigenschaft der Realisierungen des Aussagenkalküls. | 1931-01-01 | Paper |
| Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. | 1931-01-01 | Paper |
| Nachtrag. | 1931-01-01 | Paper |
| Die Vollständigkeit der Axiome des logischen Funktionenkalküls. | 1930-01-01 | Paper |
| Einige mathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. | 1930-01-01 | Paper |
