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 -