Detailed Information
Algebraische und logistische Untersuchungen über freie Verbände [leicht gekürzte Teilabschrift] Niedersächsische Staats- und Universitätsbibliothek Göttingen Nachlass Gottfried Köthe Signatur: Cod. Ms. G. Köthe M 10, Beil. 2
Functions
Algebraische und logistische Untersuchungen über freie Verbände [leicht gekürzte Teilabschrift] Niedersächsische Staats- und Universitätsbibliothek Göttingen ; Nachlass Gottfried Köthe
Signatur: Cod. Ms. G. Köthe M 10, Beil. 2
Lorenzen, Paul (1915-1994) [Verfasser]
o.O., 1945-1946 [o.D. [vermutlich vor 1947]]. - Ms.; 4 Bl.. - Werk
Köthe, Gottfried (1905-1989) [sr [nicht dokumentiert]]
Editionshinweise: Vollständig gedruckt in: The Journal of Symbolic Logic, 16 (1951), S. 81-106;
In: Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie [Werk]
Bemerkung: Abschrift in leicht gekürzter Fassung des Anfangs der Arbeit, entspricht den Seiten 81-93 der gedruckten Fassung
Pfad: Nachlass Gottfried Köthe / Varia / Die Widerspruchsfreiheit der klassischen Logik mit verzweigter Typentheorie
DE-611-HS-3176133, http://kalliope-verbund.info/DE-611-HS-3176133
Erfassung: 9. November 2007 ; Modifikation: 15. März 2016 ; Synchronisierungsdatum: 2025-05-22T19:21:43+01:00