Hans Hermes profile picture

Hans Hermes

Is this your author profile? Create an account to customize it!

Stand Alone

Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions
Introduction to mathematical logic (Universitext)
Einführung in die mathematische Logik Klassische Prädikatenlogik
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Term Logic with Choice Operator
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Einführung in die Theorie der Rekursiven Funktionen
Einführung in die Verbandstheorie
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, 87) (German Edition)
Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions
Einführung in die Verbandstheorie
Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien
Numbers (Readings in Mathematics, Volume 123) [Special Indian Edition - Reprint Year: 2020]