Constructivism in mathematics: an introduction/ A.S. Troelstra, D. van Dalen.
Series: Studies in logic and the foundations of mathematics ; v. 121.Publication details: Amsterdam; New York: North-Holland, New York: Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988.Description: 2 v. (xx, 879, lii p.): ill.; 23 cmISBN:- 0444702660 (v. 1)
- 511.3 T843c
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 T843c 1988 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100605 |
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 T777c 1998 IMPA Complexity and information/ | 511.3 T777i 1988 IMPA Information-based complexity/ | 511.3 T843c 1977 IMPA Choice sequences: a chapter of intuitionistic mathematics/ | 511.3 T843c 1988 IMPA Constructivism in mathematics: an introduction/ | 511.3 U86l 1966 IMPA Leçons sur les fonctions calculables/ | 511.3 V391e 1970 IMPA L'Empirisme logique: de Bertrand Russell à Nelson Goodman. | 511.3 V699s 1995 IMPA In search of infinity/ |
Includes bibliographies and indexes.
There are no comments on this title.