First-order logic
Raymond M. Smullyan.
New York : Dover, ©1995.
xii, 158 págs. ; 22 cm.
ISBN: 0486683702 (pbk.)
"An unabridged, corrected republication of the work first published by Springer-Verlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Mathematik und ihrer Grenzgebiete')"—T.p. verso.
Bibliografía: (p. [155]) e índice.