Export Mendeley
＜Book＞
Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
| Responsibility | edited by S. Barry Cooper, John K. Truss |
|---|---|
| Series | London Mathematical Society lecture note series ; 258 |
| Material Type | Book |
| Publisher | Cambridge ; New York : Cambridge University Press |
| Year | 1999 |
| Language | English |
| Size | ix, 436 p. : ill. ; 23 cm |
| Abstract | Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in thei... fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist. show more |
| Electronic Version | https://hdl.handle.net/2324/6913578 |
Holdings
| Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
SciTech 3F Mathematical Books | P 99/SETS/1 | c1999 |
|
023211999007052 |
|
Bibliographic details
| Notes | Includes bibliographical references |
|---|---|
| Authors | Logic Colloquium (1997 : Leeds, England) Cooper, S. B. (S. Barry) Truss, J. K |
| Subjects | LCSH:Set theory -- Congresses
All Subject Search
LCSH:Proof theory -- Congresses All Subject Search |
| Classification | LCC:QA248 DC21:511.3/22 |
| ID | 1001404829 |
| ISBN | 0521635497 |
| NCID | BA42204088 |
| Vol | ISBN:0521635497 |
| Created Date | 2009.11.02 |
| Modified Date | 2017.02.18 |