General Recursion theory : an axiomatic approach - Fenstad Jens E (Berlin Springer-Verlag, 1980)
Keywords: Recursion theory