Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Formal number theory and computability: a workbook/ by Alec Fisher.
Series: Oxford logic guides ; 7 | Oxford science publicationsPublication details: Oxford: Clarendon Press, 1982.Description: xiii, 190 p.: ill.; 25 cmISBN:- 0198531788 :
- 511.3 F533f
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F533f 1982 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097355 | |
|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F533f 1982 IMPA (Browse shelf(Opens below)) | 2 | Available | 39063000097363 |
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 F435d 1969 IMPA Dictionary of symbols of mathematical logic/ | 511.3 F435m 1965 IMPA Modal logics./ | 511.3 F533f 1982 IMPA Formal number theory and computability: a workbook/ | 511.3 F533f 1982 IMPA Formal number theory and computability: a workbook/ | 511.3 F547f 1981 IMPA Fundamentals of generalized recursion theory/ | 511.3 F671p 1985 IMPA The philosophy of Niels Bohr: the framework of complementarity/ | 511.3 F723 1965 IMPA Formal systems and recursive functions; proceedings/ |
Includes index.
Bibliography: p. [187]-188.
There are no comments on this title.