Theory of formal systems - Smullyan Raymond M (N J Princeton University Press, 1961)
Keywords: Formal systems; Mathematical logic