Detailed Information
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
Functions
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.. - Werk
Begleitmaterial:5 Beil.
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]
Erhaltungszustand: Blätter z. T. am Rand geknickt und eingerissen
Pfad: Nachlass Gottfried Köthe / Varia
[Speicherung: Archivkopie in REP (Signatur wie Original) (Frühere Signatur)]
DE-611-HS-3226650, http://kalliope-verbund.info/DE-611-HS-3226650
Erfassung: 9. November 2007 ; Modifikation: 29. Juli 2020 ; Synchronisierungsdatum: 2025-03-03T10:56:40+01:00