Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
The combinatory programme/ Erwin Engeler ... [et al.].
Series: Progress in theoretical computer sciencePublication details: Boston: Birkhäuser, 1995.Description: 142 p.: ill.; 25 cmISBN:- 0817638016 (acid-free paper)
- 3764338016 (acid-free paper)
- 511.3 C731
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C731 1995 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097322 |
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 |
|
||
| 511.3 C678c 1987 IMPA Computability and logic/ | 511.3 C678i 1934 IMPA An introduction to logic and scientific method/ | 511.3 C714 1965 IMPA Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications: Tihany, 11-15 Septembre 1962/ | 511.3 C731 1995 IMPA The combinatory programme/ | 511.3 C731f 1971 IMPA Fondements des mathématiques. | 511.3 C732t 1974 IMPA The theory of ultrafilters/ | 511.3 C737 1998 IMPA Complexity and real computation/ |
Includes bibliographical references (p. [137]-140) and index.
There are no comments on this title.