Signatur | NL 288/048 |
---|---|
Gegenstand | Manuskript Publikation (1) |
Verfasser |
Hasenjaeger, Gisbert
|
Titel | Eine Bemerkung zu Henkins Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe |
Enthält | Vorentwurf |
Intus | Auf einer Rückseite Fragment eines Berichts vom "Internationalen Forum Zürich", 18.04.1951 |
Bemerkung | Vgl. NL 288 / 043 u. NL 288 / 042 |
Laufzeit | 1951 - 1953 |
Umfang | 16 Bl. hs. u. ms. |
Fachgebiet | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
Rechtehinweis | CC BY-SA 4.0 |