xenine wants to read Theory of Formal Systems by Raymond M. Smullyan (Annals of Mathematics Studies, #47)
Theory of Formal Systems by Raymond M. Smullyan (Annals of Mathematics Studies, #47)
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of …