Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Choice sequences: a chapter of intuitionistic mathematics/ by A. S. Troelstra.
Series: Oxford logic guidesPublication details: Oxford: Clarendon Press, 1977.Description: ix, 170 p. ; 25 cmISBN:- 019853163X :
- 511.3 T843c
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 T843c 1977 IMPA (Browse shelf(Opens below)) | 1 | Available | Lógica matemática | 39063000096480 |
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 T727l 2010 IMPA Lectures in logic and set theory/ | 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. |
Includes index.
Bibliography: p. [161]-167.
There are no comments on this title.