TY  - BOOK
AU  - Chong C T
TI  - Techniques of admissible recussion theory
T2  - Lecture notes in mathematics; 1106
U1  - B:(R1), M4 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag         
KW  - Mathematical logic
N1  - Appendix 196-205p
ER  -