Hans Hermes

Hans Hermes was a German mathematician and logician, who made significant contributions to the foundations of mathematical logic.
Ebooks
Introduction to Mathematical Logic
Term Logic with Choice Operator
Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions, Edition 2
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der Rekursiven Funktionen
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien
Selecta Mathematica II
Einführung in die Verbandstheorie
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen, Ausgabe 3
Einführung in die Verbandstheorie: Ausgabe 2