Term Logic with Choice Operator

by Hermes, Hans
Published 1970

Enumerability · Decidability Computability : An Introduction to the Theory of Recursive Functions

by Hermes, Hans
Published 1969

Introduction to Mathematical Logic

by Hermes, Hans
Published 1973

Numbers

by Ebbinghaus, Heinz-Dieter, Hermes, Hans, Hirzebruch, Friedrich, Koecher, Max
Published 1991

Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions

by Hermes, Hans
Published 1965