Theory of formal systems - Smullyan, Raymond M (Annals of Mathematics Studies, 1961)