| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 3378882 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3253940 (Why is no real title available?)
| 1967-01-01 | Paper |
Der Aufbau Einer Höheren Logik
Archiv für Mathematische Logik und Grundlagenforschung | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3285191 (Why is no real title available?)
| 1962-01-01 | Paper |
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit II
Archiv für Mathematische Logik und Grundlagenforschung | 1961-01-01 | Paper |
scientific article; zbMATH DE number 3143677 (Why is no real title available?)
| 1959-01-01 | Paper |
ÜBER DIE BEZIEHUNG ZWISCHEN STRIKTER UND STRENGER IMPLIKATION
Dialectica | 1958-01-01 | Paper |
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
Archiv für Mathematische Logik und Grundlagenforschung | 1958-01-01 | Paper |
Begründung einer strengen Implikation
Journal of Symbolic Logic | 1956-01-01 | Paper |
Zur Axiomatik der Mengenlehre
Mathematische Annalen | 1956-01-01 | Paper |
Solvable cases of the decision problem
Studies in Logic and the Foundations of Mathematics | 1954-01-01 | Paper |
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II
Mathematische Zeitschrift | 1953-01-01 | Paper |
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
Mathematische Zeitschrift | 1951-01-01 | Paper |
scientific article; zbMATH DE number 3060222 (Why is no real title available?)
| 1950-01-01 | Paper |
Widerspruchsfreier Aufbau der Logik I
Journal of Symbolic Logic | 1950-01-01 | Paper |
scientific article; zbMATH DE number 3052787 (Why is no real title available?)
| 1949-01-01 | Paper |
Ein System der typenfreien Logik. I.
| 1941-01-01 | Paper |
scientific article; zbMATH DE number 3044120 (Why is no real title available?)
| 1941-01-01 | Paper |
Zur Widerspruchsfreiheit der Zahlentheorie
Mathematische Annalen | 1940-01-01 | Paper |
Zur Widerspruchsfreiheit der Zahlentheorie.
Mathematische Annalen | 1940-01-01 | Paper |
Grundzüge der theoretischen Logik.
Grundlehren der Mathematischen Wissenschaften | 1938-01-01 | Paper |
scientific article; zbMATH DE number 3029084 (Why is no real title available?)
| 1938-01-01 | Paper |
Die Widerspruchsfreiheit der allgemeinen Mengenlehre
Mathematische Annalen | 1937-01-01 | Paper |
Mengentheoretische Begründung der Logik
Mathematische Annalen | 1937-01-01 | Paper |
Mengentheoretische Begründung der Logik.
Mathematische Annalen | 1937-01-01 | Paper |
Die Widerspruchsfreiheit der allgemeinen Mengenlehre.
Mathematische Annalen | 1937-01-01 | Paper |
Beiträge zum Entscheidungsproblem der mathematischen Logik.
Mathematische Annalen | 1936-01-01 | Paper |
Beiträge zum Entscheidungsproblem der mathematischen Logik
Mathematische Annalen | 1936-01-01 | Paper |
Zum Eliminationsproblem der mathematischen Logik
Mathematische Annalen | 1935-01-01 | Paper |
Zum Eliminationsproblem der mathematischen Logik.
Mathematische Annalen | 1935-01-01 | Paper |
Untersuchungen über das Eliminationsproblem der mathematischen Logik
Mathematische Annalen | 1934-01-01 | Paper |
Untersuchungen über das Eliminationsproblem der mathematischen Logik.
Mathematische Annalen | 1934-01-01 | Paper |
Zum Hilbertschen Aufbau der reellen Zahlen.
Mathematische Annalen | 1928-01-01 | Paper |
Grundzüge der theoretischen Logik.
Grundlehren der Mathematischen Wissenschaften | 1928-01-01 | Paper |
Über die Erfüllbarkeit gewisser Zählausdrücke.
Mathematische Annalen | 1928-01-01 | Paper |
Was ist Mathematik?
| 1927-01-01 | Paper |
Begründung des ``tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit.
Mathematische Annalen | 1924-01-01 | Paper |
Die Widerspruchsfreiheit des Auswahlaxioms. Vorläufige Mitt.
Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-Physikalische Klasse | 1924-01-01 | Paper |
