TY  - BOOK
AU  - Smullyan, Raymond M.
TI  - THEORY OF FORMAL SYSTEMS
U1  - 510 
PY  - 1961///
CY  - Princeton, N. J.
PB  - Princeton University Press
KW  - Recursive Functions
KW  - Metamathematics
N1  - A Revision Of The Author'S Recent Doctoral Dissertation -- [Princeton]
ER  -