| Signature mark | NL 288/017 |
|---|---|
| Subject | Akte (1) |
| Author |
Hasenjaeger, Gisbert
|
| Title | Entwürfe und Notizen |
| Contains | - Das Regularitätstheorem - Zur Begründung der Zahlentheorie (zum Brief C.F. v. Weizsäcker, 2.4.52 Conte Grande) - Zur Einführung der Definitionsgleichungen - Nichtcharakterisierbarkeit der natürlichen Zahlen in JFK [2 Versionen] - Zur Syntax und Semantik des Aussagenkalküls - Zur "symbolischen Auflösung" von Beweisen - Die Henkin-sche Vollständigkeit von K1 |
| Intus | In Konvolut "Zur Syntax und Semantik des Aussagenkalküls": Typoskript verfasst von P. Lagerström: "Repräsentantentheorie im Aussagenkalkül", 06.1939, sowie Dokumente in unbekannter Handschrift |
| Date | ca. 1940 - 1955 |
| Scope | 46 Bl. hs. u. ms. |
| Subject area | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Rights notice | CC BY-SA 4.0 |
| Permalink | https://digital-dev.deutsches-museum.de/item/NL-288-017 |
| XML of the record |
We use machine readable, standardized XML formats like LIDO (Collection), METS/MODS (Library) and EAD (Archive) to provide our data. You can download the XML file of the selected record here. If you have any questions contact us by email to digital@deutsches-museum.de. Download the XML of the record |
|---|---|
| Images | Individual images can be downloaded from the viewer's toolbar. To get a full download of all images from a record contact us by email to digital@deutsches-museum.de. |
