Direkt zum Seiteninhalt springen

Eine Bemerkung zu Henkins Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

Signatur NL 288/048
Gegenstand Manuskript Publikation (1)
Verfasser Hasenjaeger, Gisbert
Titel Eine Bemerkung zu Henkins Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
Enthält Vorentwurf
Intus Auf einer Rückseite Fragment eines Berichts vom "Internationalen Forum Zürich", 18.04.1951
Bemerkung Vgl. NL 288 / 043 u. NL 288 / 042
Laufzeit 1951 - 1953
Umfang 16 Bl. hs. u. ms.
Fachgebiet Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80>
Rechtehinweis CC BY-SA 4.0
Wenn Sie Fragen, Anregungen oder Kommentare haben, benutzen Sie bitte das Formular, um mit uns in Kontakt zu treten. Oder senden Sie eine E-Mail an: digital@deutsches-museum.de.
Zum Austausch und Weiterverarbeitung der Daten nutzen wir maschinenlesbare, standardisierte XML-Formate wie LIDO (Sammlung), METS/MODS (Bibliothek) und EAD (Archiv). Hier können Sie die XML-Datei des ausgewählten Datensatzes herunterladen. Wenn Sie Fragen haben, kontaktieren Sie uns gerne per E-Mail an digital@deutsches-museum.de.

XML des Datensatzes herunterladen

https://digital-dev.deutsches-museum.de/item/NL-288-048/
Link kopieren in die Zwischenablage
no-image-available.jpg