| 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 |
