TY  - BOOK
AU  - Smullyan Raymond M
TI  - Recursion theory for metamathematics
T2  - Oxford logic guides
U1  - R14, N3 
PY  - 1993///
CY  - Oxford
PB  - Oxford University Press     
ER  -