TY  - BOOK
AU  - Fenstad Jens E
TI  - General Recursion theory : an axiomatic approach
SN  - 3-540-09349-4
U1  - 511.35 
PY  - 1980///
CY  - Berlin
PB  - Springer-Verlag
KW  - Recursion theory
ER  -