General recursion theory : an axiomatic approach - Fenstad, Jens Erik (Berlin : Springer-Verlag, 1980)
Includes index
Bibliography : p. 209-216
Keywords: Recursion theory