Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Lectures in logic and set theory/ George Tourlakis.
Series: Cambridge studies in advanced mathematics ; 82-83.Publication details: Cambridge, UK; New York: Cambridge University Press, 2010, 2003.Edition: 1st pbk. edDescription: 2 volumes; 24 cmISBN:- 9780521168465
- 0521168465
- 511.3 T727l
| Item type | Current library | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 T727l 2010 IMPA (Browse shelf(Opens below)) | 1 | 1 | Available | Lógica matemática | 39063000800233 | |
|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 T727l 2010 IMPA (Browse shelf(Opens below)) | 2 | 1 | Available | Lógica matemática | 39063000800235 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 T724u 1994 IMPA The uses of argument/ | 511.3 T727c 1984 IMPA Computability/ | 511.3 T727l 2010 IMPA Lectures in logic and set theory/ | 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/ |
Originally published: 2003.
Includes bibliographical references and indexes.
There are no comments on this title.