Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
By: Von Hans Hermes und Heinrich Scholz.  (Reprogr. Nachdr. d. Ausg. Leipzig 1937).
Contributors: Scholz, Heinrich, 1884-1956, joint author.
Series: Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;; Heft 1.
Publisher: Gerstenberg
Published: 1970
Place of publication: Hildesheim
Language: ger
Number of pages: 40
Subjects: Frege, Gottlob, 1848-1925.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.
Reprint of the 1937 ed., Leipzig, Hirzel, which was issued as Bd. 1 of Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F.
Bound with Roth, Eugen.  Axiomatische Untersuchungen zur projektiven, affinen und metrischen Geometrie.  Hildesheim, 1970; Hermes, Hans.  Eine Axiomatisierung der allgemeinen Mechanik.  Hildesheim, 1970; Gentzen, Gerhard.  Die gegenwärtige Lage in der mathematischen Grundlagenforschung.  Hildesheim, 1970; Hermes, Hans.  Semiotik.  Hildesheim, 1970; Schröter, Karl, 1905-    .  Ein  allgemeiner Kalkülbegriff.  Hildesheim, 1970; Ackermann, Wilhelm, 1896-    .  Ein System der typenfreien Logik.  Hildesheim, 1970; and Schröter, Karl, 1905-    .  Axiomatisierung der Fregeschen Aussagenkalküle.  Hildesheim, 1970.