General recursion theory : AN AXIOMATIC APPROACH - Fenstad, Jens E. (Perspectives in Mathematical Logic / Springer Verlag., 1980)