Signatur | NL 288/056 |
---|---|
Gegenstand | Typoskript Publikation (1) |
Verfasser |
Hasenjaeger, Gisbert
|
Titel | On definability and derivability |
Enthält | Entwurf |
Bemerkung | Publiziert in: Skolem, Thoralf u.a. (Hrsg.): Mathematical interpretation of formal systems (Studies in logic and the foundation of mathematics). Amsterdam, 1955, S. 15-25. Online-Fassung: https://doi.org/10.1016/S0049-237X(09)70301-5 (Abruf: 06.11.2020) Sonderdruck in NL 288 / 099 |
Datierung | ca. 1955 |
Umfang | 11 Ds. |
Fachgebiet | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
Rechtehinweis | CC BY-SA 4.0 |