QA9 .S57 1995
511.3
|
Smullyan, Raymond M.
First-order logic / Raymond M. Smullyan.
— New York : Dover, c1995. xii, 158 p. ; 22 cm.
"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.
ISBN 0486683702 (pbk.)
|