Journal Article

Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit

Alfred Tarski

Monatshefte für Mathematik, 1933, Volume 40, Number 1, Pages 97-112

• Download PDF (898.1 KB)

Journal Article

Die grundlagen der mathematik
Vortrag, gehalten auf Einladung des Mathematischen Seminars im Juli 1927 in Hamburg

David Hilbert

Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 1928, Volume 6, Number 1, Pages 65-85

• Download PDF (1.0 MB)

Journal Article

Beweistheorie vonKPN

Gerhard Jäger

Archive for Mathematical Logic, 1980, Volume 20, Numbers 1-2, Pages 53-63

• Download PDF (569.1 KB)

Journal Article

Eigentliche Klassen als Urelemente in der Mengenlehre

Arnold Oberschelp

Mathematische Annalen, 1964, Volume 157, Number 3, Pages 234-260

• Download PDF (1.4 MB)

Journal Article

Die Vollständigkeit der Axiome des logischen Funktionenkalküls

Kurt Gödel

Monatshefte für Mathematik, 1930, Volume 37, Number 1, Pages 349-360

• Download PDF (593.1 KB)

Journal Article

Zur Hilbertschen Beweistheorie

J. v. Neumann

Mathematische Zeitschrift, 1927, Volume 26, Number 1, Pages 1-46

• Download PDF (2.8 MB)

Journal Article

Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH

Wolfgang Stegmüller

Archive for Mathematical Logic, 1965, Volume 8, Numbers 1-2, Pages 3-27

• Download PDF (1.5 MB)

Journal Article

Untersuchungen über das Eliminationsproblem der mathematischen Logik

Wilhelm Ackermann

Mathematische Annalen, 1935, Volume 110, Number 1, Pages 390-413

• Download PDF (1.3 MB)

Journal Article

Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik

Kurt Schütte

Archive for Mathematical Logic, 1964, Volume 7, Numbers 1-2, Pages 45-60

• Download PDF (683.7 KB)