| Signature mark | NL 288/161 |
|---|---|
| Subject | Akte (1) |
| Title | Arbeiten Hao Wangs |
| Contains | - 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. |
| Date | ca. 1949 |
| Scope | 155 Bl., Ds. u. hs. |
| Subject area | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Formal information | Languages: Englisch |
| Rights notice | CC BY-SA 4.0 |
