Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Computability, complexity, logic/ E. Börger.
Language: engger Series: Studies in logic and the foundations of mathematics ; v. 128.Publication details: Amsterdam ;: New York: North-Holland, New York: U.S.A. and Canada; Elsevier, 1989.Description: xx, 592 p.: ill.; 23 cmISBN:- 0444874062
- Borger, E.. English
- 511.3 B732c
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B732c 1989 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100647 |
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 |
|
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 B731n 1952 IMPA Les nombres inaccessibles/ | 511.3 B731n 1952 IMPA Les nombres inaccessibles/ | 511.3 B731n 1958 IMPA Les nombres premiers. | 511.3 B732c 1989 IMPA Computability, complexity, logic/ | 511.3 B741l 1888 IMPA Logic: or, The morphology of knowledge/ | 511.3 B741l 1888 IMPA Logic: or, The morphology of knowledge/ | 511.3 B742i 1968 IMPA Introducción al simbolismo lógico/ |
Translation of: Berechenbarkeit, Komplexität, Logik.
Includes index.
Bibliography: p. 529-573.
There are no comments on this title.