TY  - BOOK
AU  - Fenstad,Jens Erik
TI  - General recursion theory: an axiomatic approach 
T2  - Perspectives in mathematical logic
SN  - 3540093494
PY  - 1980///
CY  - Berlin
PB  - Springer-Verlag
KW  - Recursion theory
N1  - Includes index; Bibliography : p. 209-216
ER  -