First-order logic / Raymond M. Smullyan.
Material type:
TextPublication details: New York : Dover, c1995.Description: xii, 158 p. ; 22 cmISBN: - 0486683702 (pbk.)
- 511.3 20
- QA9 .S57 1995
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Monograph ( Printed materials)
|
ARRUPE LIBRARY Main Collection | Main Collection | QA9 .S57 1995 (Browse shelf(Opens below)) | Available | 46500001402 |
Total holds: 0
Browsing ARRUPE LIBRARY shelves,Shelving location: Main Collection,Collection: Main Collection Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| QA9.H25 The Psychology of invention in the mathematical field | QA9.H46 Intuitionism | QA9 .L28 Les limitations internes des formalismes; | QA9 .S57 1995 First-order logic / | QA21 .B767 1989 A history of mathematics / | QA21 .K525 Mathematics: | QA21.S32 The Study of the History of mathematics and the study of the history of science |
"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.
There are no comments on this title.
Log in to your account to post a comment.