Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls:
Saved in:
Bibliographic Details
Main Authors: Hermes, Hans 1912-2003 (Author), Scholz, Heinrich 1884-1956 (Author), Roth, Eugen (Author)
Format: Book
Language:German
Published: Hildesheim Gerstenberg 1970
Edition:Reprograf. Nachdr. d. Ausg. Leipzig 1937
Series:Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften / NF. 1/8.
Item Description:Enth. außerdem u.a.: Roth, Eugen: Axiomatische Untersuchungen zur projektiven, afinen und metrischen Geometrie
Physical Description:Getr. Zählung

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!