-
Archiv für mathematische Logik und Grundlagenforschung
-
Rekursive Funktionen
-
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einf. in die Theorie der rekursiven Funktionen.
-
Enumerability, decidability, computability [Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Engl.]. An introd. to the theory of recursive functions
-
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie d. rekursiven Funktionen
-
Einführung in die mathematische Logik. Klassische Prädikatenlogik.
-
Einführung in die mathematische Logik. Klassische Prädikatenlogik.
-
Einführung in die mathematische Logik. Klassische Prädikatenlogik
-
Einführung in die Verbandstheorie Mit 24 Abb.
-
Enumerability, decidability, computability
-
Hundert Jahre formale Logik
-
Hundert Jahre formale Logik
-
Methoden der Logik und Mathematik. Statistische Methoden. Dargest. v. Hans Hermes. Erich Mittenecker.
-
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien.
-
Eine Termologik mit Auswahloperator.
-
Beitrag zur Behandlung der Kniescheibenbrüche.
-
Mathesis universalis. Abhandlungen zur Philodophie als strenger Wissenschaft
-
Die vier Wissenschaften der Pythagoreer. Hans Hermes. Hundert Jahre formale Logik.
-
Die vier Wissenschaften der Pythagoreer Hans Hermes. Hundert Jahre formale Logik