Smullyan Raymond M First-order logic. - New York Springer-Verlag 1968 - x,158p. cm. Standard No.: 44366 Source: Textual Dewey Class. No.: R14, K8