Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften : Neue Folge

著者

unter Mitwirkung von W. Ackermann ... [et al.] ; herausgegeben von Heinrich Scholz

H.A. Gerstenberg, 1970

Heft 1-8

Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls / Hans Hermes und Heinrich Scholz
Axiomatische Untersuchungen zur projektiven, affinen und metrischen Geometrie / Eugen Roth
Eine Axiomatisierung der allgemeinen Mechanik / Hans Hermes
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie / Gerhard Gentzen
Semiotik. Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen / Hans Hermes
Ein allgemeiner Kalkülbegriff / Karl Schröter
Ein System der typenfreien Logik I / Wilhelm Ackermann
Axiomatisierung der Fregeschen Aussagenkalküle / Karl Schröter