Aufzahlbarkeit,entscheidbarkeit berechenbarkeit : einfuhrung in die theorie der rekursiven funktionen - Hermes Hans (Gottingen Springer-Verlag, 1961)
Keywords: Recursion theory