Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Material type: TextLanguage: English Series: London Mathematical Society lecture note series 258Publication details: Cambridge University Press, Cambridge; New York 1999 Description: ix, 436pISBN: 9780521635493Subject(s): Set theory - Congresses | Proof theory - CongressesDDC classification: 511.32 SETItem type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.32 SET (Browse shelf(Opens below)) | 1 | Available | 6211 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
511.32 HEN(CYL) V.1 Cylindric algebras : vol. 1 | 511.32 KLI(FUZ) Fuzzy sets, uncertainty, and information | 511.32 SET Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 | 511.32 SET Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 | 511.32 SRI(COU) A course on Borel sets | 511.32 SRI(COU) A course on Borel sets | 511.322 AND(COM) Combinatorics of finite sets |
SAR/08/2009/20-04-09
There are no comments on this title.