510 / An72
Smullyan, Raymond M.
THEORY OF FORMAL SYSTEMS
/
.- Princeton, N. J.: Princeton University Press, 1961
.- 142 .
.- ( Annals Of Mathematics Studies, No. 47
A Revision Of The Author'S Recent Doctoral Dissertation -- [Princeton]
Subject Headings:
Recursive Functions;
Metamathematics;
Copy Details:
Acc. No.: 55517, Full Call No.: 510 An72, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------