First-order logic/ Raymond M. Smullyan.
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43.Publication details: New York: Springer-Verlag, 1968.Description: xii, 158 p. ; 24 cmSubject(s): DDC classification:- 511.3 S666f
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 S666f 1968 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098429 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
|
|
No cover image available No cover image available |
|
|
No cover image available No cover image available | ||
| 511.3 S634g 1980 IMPA Gottlob Frege/ | 511.3 S664i 1989 IMPA Ignorance and uncertainty: emerging paradigms/ | 511.3 S666b 2017 IMPA A beginner's further guide to mathematical logic/ | 511.3 S666f 1968 IMPA First-order logic/ | 511.3 S666f 1987 IMPA Forever undecided: a puzzle guide to Gödel/ | 511.3 S666g 1992 IMPA Gödel's incompleteness theorems/ | 511.3 S666t 1961 IMPA Theory of formal systems/ |
Bibliography: p. [156]
There are no comments on this title.