Transcription:
FORSCHUNGEN
Filos.
Saml.
zur Logik und zur Grundlegung der exakten Wissenschaften. N.F. Unte
Mitwirkung von... herausgegeben von Heinrich Scholz.
H.
4:o Leipzig 1937
Hermes,H. & Scholz,H.,Ein neuer Vollständigkeitsbeweis für das
Teduzierte Fregesche Axlomensystem des AussagenkalKüls. 1937.
2.Roth,E.,Axiomatische Untersuchungen zur projektiven, affinen und me
trischen Geometrie. 1937.
3.Hermes,H.,Eine Axiomatisierung der allgemeinen Mechanik.1938.
4.Gentzen, G., Die gegenwärtige Lage in der mathematischen Grundla-
genforschung ...1938.
5.Hermes,H.,Semiotik. Eine Theorie der Zeichengestalten...1938.
6.Schröter,K.,Ein allgemeiner Kalkülbegriff. 1941.
7.Ackermann,W.,Ein System der typenfreien Logik. 1. 1941.
Schröter, K., Axiomatisierung der rregeschen Aussagenkalküle.1943