GENERAL RECURSION THEORY - Fenstad, Jens Erik (Berlin Springer-Verlag, 1980)
Keywords: Recursion Theory