Theory of formal systems - Smullyan, Raymond M. (Annals of mathematics studies, 1961)