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
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
No cover image available No cover image available | ||||||||
511.3 SHO Mathematical logic / | 511.3 SIE Cardinal and ordinal numbers. | 511.3 SMI An introduction to Gödel's theorems / | 511.3 SMU First-order logic / | 511.3 SMU A beginner's further guide to mathematical logic / | 511.3 SMU A beginner's guide to mathematical logic / | 511.3 SRI A course on mathematical logic / |
"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.