Smullyan, Raymond M. First-order logic/ Raymond M. Smullyan. - New York: Springer-Verlag, 1968. - xii, 158 p. ; 24 cm. - Ergebnisse der Mathematik und ihrer Grenzgebiete; Bd. 43. . Bibliography: p. [156] Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 511.3 / S666f