Fenstad, Jens Erik General recursion theory : an axiomatic approach / Jens E. Fenstad - Berlin : Springer-Verlag, 1980 - xi, 225 p. ; 25 cm. - Perspectives in mathematical logic . - Perspectives in mathematical logic . Includes index Bibliography : p. 209-216 ISBN: 3540093494 LCCN: 79-013099 Subjects--Topical Terms: Recursion theory