First-order logic / Raymond M. Smullyan.
By: Smullyan, Raymond M.
Material type: TextPublisher: New York : Dover, c1995Description: xii, 158 p. ; 22 cm.ISBN: 0486683702 (pbk.).Subject(s): First-order logicDDC classification: 511.3 Online resources: Table of contents | Publisher descriptionItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 511.3 SMU (Browse shelf) | Available | 9988 |
Total holds: 0
"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.
Gifted by P S Thiagarajan.
Includes bibliographical references (p. [155]) and index.