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

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.

Name

Email *

Message *

Senden

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