Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/ edited by S. Barry Cooper, John K. Truss.
Series: London Mathematical Society lecture note series ; 258Publication details: Cambridge, UK; New York: Cambridge University Press, 1999.Description: ix, 436 p.: ill.; 23 cmISBN:- 0521635497 (pbk.)
- 511.322 S495
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.322 S495 1999 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000615974 |
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 | ||||||
511.322 S155u 2010 IMPA Uniformisation des surfaces de Riemann: retour sur un théorème centenaire/ | 511.322 S335c 2011 IMPA A course on set theory/ | 511.322 S495 1993 IMPA Set theory of the reals/ | 511.322 S495 1999 IMPA Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/ | 511.322 S546b 2002 IMPA Basic set theory/ | 511.322 S572c 1965 IMPA Cardinal and ordinal numbers. | 511.322 S572h 1956 IMPA Hypothèse du continu. |
Includes bibliographical references.
There are no comments on this title.