Smullyan, Raymond M. First-order logic / Raymond M. Smullyan. - Berlin : New York [etc.] Springer-Verlag, 1968. - xii, 158 p. : 24 cm. Bibliography: p. [156] Subjects--Topical Terms: Logic, Symbolic and mathematical Dewey Class. No.: 511.3 / SMF 1968