TY  - BOOK
AU  - Smullyan, Raymond M.
TI  - Recursion Theory for Metamathematics
SN  - 0 19 508232 X
CY  - Oxford
KW  - Recursion Theory
ER  -