Hans Hermes
Books
Numbers
1983
ISBN 9780387974972
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
1961
ISBN 9783540088691
Introduction to mathematical logic
1973
ISBN 9783642871320
Einführung in die Verbandstheorie
1955
ISBN 9783642865244
Enumerability, Decidability, Computability
1965
ISBN 9783662116869
Eine Termlogik mit Auswahloperator
1965
ISBN 9783540048992
Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
1967
ISBN 9783663003083
Einführung in die mathematische Logik
1969
ISBN 9783519222019
Term logic with choice operator
1970
ISBN 9783540362036