Smullyan, Raymond M.

First order logic - Berlin Springer-Verlag 1968 - xii, 158p. Index - Ergebnisse der Mathematik und ihrer Grenzgebiete v. 43 .



511.3 / Sm666.FO