Smullyan, Raymond M. First order logic - Berlin Springer-Verlag 1968 - xii, 158p. Index - Ergebnisse der Mathematik und ihrer Grenzgebiete v. 43 . Dewey Class. No.: 511.3 / Sm666.FO