Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Computability: computable functions, logic, and the foundations of mathematics/ Richard L. Epstein, Walter A. Carnielli.
Series: Wadsworth & Brooks/Cole statistics/probability seriesPublication details: Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software, c1989.Description: xvii, 297 p.: ill.; 25 cmISBN:- 0534103561
- 511.3 E64c
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 E64c 1989 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098494 |
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 E56m 1972 IMPA A mathematical introduction to logic/ | 511.3 E56m 2001 IMPA A mathematical introduction to logic/ | 511.3 E59s 1934 IMPA Signification de l'histoire de la pensée scientifique/ | 511.3 E64c 1989 IMPA Computability: computable functions, logic, and the foundations of mathematics/ | 511.3 E64w 1992 IMPA Word processing in groups/ | 511.3 E78 1968 IMPA Essays on Frege/ | 511.3 F265s 1971 IMPA Structures ordonnées et algèbres de Boole/ |
Includes index.
Bibliography: p. 271-278.
There are no comments on this title.