General recursion theory : An axiomatic approach - Fenstad, Jens Erik. (Berlin ; New York : Springer-Verlag, 1980)
Includes indexes.
Bibliogr.: p. [209]-216.
Keywords: Recursion theory