TY  - BOOK
AU  - Chong C T
TI  - Techniques of admissible recursion theory
SN  - 3-540-13902-8
U1  - 511.35 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
KW  - Recursion theory
ER  -