名古屋大学附属図書館




1

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

Hans Hermes ; translated by G.T. Hermann and O. Plassmann. -- 2nd rev. ed. -- Springer, 1969. -- (Die Grundlehren der mathematischen Wissenschaften ; Bd. 127).