Signatur | NL 288/161 |
---|---|
Gegenstand | Akte (1) |
Titel | Arbeiten Hao Wangs |
Enthält | - Drei Fassungen des Vortrags "Possibilities of proving relative consistency", gehalten auf einer Tagung der Association for Symbolic Logic am 28.12.1949 - Zwei Fassungen des Typoskripts "The inconsistency of certain ordinary systems", o.D. |
Datierung | ca. 1949 |
Umfang | 155 Bl., Ds. u. hs. |
Fachgebiet | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
Formalangaben | Sprachen: Englisch |
Rechtehinweis | CC BY-SA 4.0 |