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