Normal view MARC view ISBD view

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.

Includes bibliographical references (p. [155]) and index.

ISBN: 0486683702 (pbk.)

LCCN: 94039736

Subjects--Topical Terms:
First-order logic.

LC Class. No.: QA9 / .S57 1995

Dewey Class. No.: 511.3