Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften : Neue Folge
Author(s)
Bibliographic Information
Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften : Neue Folge
H.A. Gerstenberg, 1970
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Heft 1-8
Contents of Works
- 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
