General recursion theory : AN AXIOMATIC APPROACH - Fenstad, Jens E. (Springer Verlag, 1980)