Enumerability, Decidability, Computability. An Introduction to the Theory of Recursive Functions (1965)

by Hans Hermes