Detailed Information
Zu Lorenzen [Exzerpte zu "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, Beil. 4
Functions
Zu Lorenzen [Exzerpte zu "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, Beil. 4
Köthe, Gottfried (1905-1989) [Verfasser]
o.O. [vermutlich Gießen], 1947 [o.D. [vermutlich um 1947]]. - Ms.; 18 Bl.. - Werk
In: Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie [Werk]
Bemerkung: Erschienen in: Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie
Erhaltungszustand: Blätter z. T. am Rand geknickt und eingerissen
Pfad: Nachlass Gottfried Köthe / Varia / Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie
DE-611-HS-3180820, http://kalliope-verbund.info/DE-611-HS-3180820
Erfassung: 9. November 2007 ; Modifikation: 1. August 2016 ; Synchronisierungsdatum: 2025-05-22T19:21:43+01:00