Detailinformationen
Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie Beschriftung des alten Umschlags: Widerspruchsfreiheit der Zahlentheorie Niedersächsische Staats- und Universitätsbibliothek Göttingen Nachlass Gottfried Köthe Signatur: Cod. Ms. G. Köthe M 10
Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie Niedersächsische Staats- und Universitätsbibliothek Göttingen ; Nachlass Gottfried Köthe
Signatur: Cod. Ms. G. Köthe M 10
Beschriftung des alten Umschlags: Widerspruchsfreiheit der Zahlentheorie
Lorenzen, Paul (1915-1994) [Verfasser]
o.O., o.D.. - Ts.; 17 Bl. + 5 Beil.. - Werk
Darin: Briefwechsel mit Gottfried Köthe [Korrespondenz] Darin: Zu Lorenzen [Exzerpte zu "Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie"] [Werk] Darin: Algebraische und logistische Untersuchungen über freie Verbände [leicht gekürzte Teilabschrift] [Werk] Darin: Einleitung zur Widerspruchsfreiheit [Werk] Darin: Zur Neubegründung der Mathematik [Werk]
Bemerkung: Archivkopie in REP (Signatur wie Original), Onlinestellung möglich 2064
Erhaltungszustand: Blätter z. T. am Rand geknickt und eingerissen
Pfad: Nachlass Gottfried Köthe / Varia
DE-611-HS-3226650, http://kalliope-verbund.info/DE-611-HS-3226650
Erfassung: 9. November 2007 ; Modifikation: 25. September 2025 ; Synchronisierungsdatum: 2025-09-25T13:09:04+01:00