名古屋大学附属図書館




1

Enumerability, decidability, computability : an introduction to the theory of recursive functions

by Hans Hermes ; translated by G.T. Herman and O. Plassmann. -- Springer, 1965. -- (Die Grundlehren der mathematischen Wissenschaften ; Bd. 127).