Smullyan Raymond M Theory of formal systems - 1961 - p. cm. Standard No.: 69467 Source: Textual Subjects--Topical Terms: Algebra Dewey Class. No.: B29:R1, K1