| Signature mark | NL 288/029 |
|---|---|
| Subject | Typoskript Publikation (4) |
| Author |
Hasenjaeger, Gisbert
|
| Title | Entwürfe für Beweise |
| Contains | Beweise für mehrere Lemmata und Sätze: - Das semantische Lemma zum Gödel'schen Vollständigkeitssatz (nach Mostowski) - Satz von der simultanen Erfüllbarkeit (das 'semantische Lemma') (3 Versionen) - Das syntaktische Lemma zum Gödelschen Vollständigkeitssatz - Formalisierung der primitiven Rekursionen in der 2. Stufe |
| Date | ca. 1945 - 1955 |
| Scope | 16 Bl. Ds., ms. u hs. |
| 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-029 |
| 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. |
