Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hermes, Hans 1912-2003 (VerfasserIn), Scholz, Heinrich 1884-1956 (VerfasserIn), Roth, Eugen (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Hildesheim Gerstenberg 1970
Ausgabe:Reprograf. Nachdr. d. Ausg. Leipzig 1937
Schriftenreihe:Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften / NF. 1/8.
Beschreibung:Enth. außerdem u.a.: Roth, Eugen: Axiomatische Untersuchungen zur projektiven, afinen und metrischen Geometrie
Beschreibung:Getr. Zählung

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!