Theory of formal systems - Smullyan, R.M (Princeton University Press, 1961)