Detailed Information
Ein Vollständigkeitsbeweis für eine verallgemeinerte Prädikatenlogik mit einem Auswahloperator / Hans Hermes Universitäts- und Landesbibliothek Münster Nachlass Scholz Signatur: N. Scholz 104,004
Functions
Ein Vollständigkeitsbeweis für eine verallgemeinerte Prädikatenlogik mit einem Auswahloperator / Hans Hermes Universitäts- und Landesbibliothek Münster ; Nachlass Scholz
Signatur: N. Scholz 104,004
Unbekannt [Verfasser]
Ohne Ort, 1963-1964. - Deutsch. - Werk
Objekteigenschaften: TyposkriptPfad: Nachlass Scholz / Kapsel 104: Werkmanuskripte Varia 2 - Kurztitel
DE-611-HS-4282968, http://kalliope-verbund.info/DE-611-HS-4282968
Erfassung: 14. Juli 2025 ; Modifikation: 14. Juli 2025 ; Synchronisierungsdatum: 2025-07-22T15:24:23+01:00