Widerspruchsfreier Aufbau einer typenfreien Logik.
Widerspruchsfreier Aufbau einer typenfreien Logik. II.
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
Untersuchungen über das Eliminationsproblem der mathematischen Logik
Zur Axiomatik der Mengenlehre.
Zur Widerspruchsfreiheit der Zahlentheorie
Mengentheoretische Begründung der Logik
Zum Eliminationsproblem der mathematischen Logik
Begründung des ,,tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit
Zum Hilbertschen Aufbau der reellen Zahlen
Über die Erfüllbarkeit gewisser Zählausdrücke
Die Widerspruchsfreiheit der allgemeinen Mengenlehre
Beiträge zum Entscheidungsproblem der mathematischen Logik
Die Wiederspruchsfreiheit des Auswahlaxioms
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.
Der Aufbau einer höheren Logik.
Böschungsstrahlen und Böschungsflächen
The generalized Lichnerowicz formula and analysis of Dirac operators.
Automatic car steering control bridges over the driver reaction time
Page 1 Next