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