Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
The unprovability of consistency: an essay in modal logic/ George Boolos.
Publication details: Cambridge, UK New York: Cambridge University Press, 1979.Description: viii, 184 p. ; 22 cmISBN:- 0521218799
- 511.3 B724u
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B724u 1979 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000096928 |
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 | No cover image available No cover image available | ||
| 511.3 B694p 1993 IMPA Les paradoxes de l'infini/ | 511.3 B724c 1980 IMPA Computability and logic/ | 511.3 B724m 1847 IMPA The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning/ | 511.3 B724u 1979 IMPA The unprovability of consistency: an essay in modal logic/ | 511.3 B726f 1989 IMPA Fasci, logica e topoi/ | 511.3 B731n 1952 IMPA Les nombres inaccessibles/ | 511.3 B731n 1952 IMPA Les nombres inaccessibles/ |
Includes index.
Bibliography: p. 180-182.
There are no comments on this title.