Models and Computability / Edited by S. Barry Cooper, John K. Truss.
Material type:
TextSeries: London Mathematical Society Lecture Note Series ; no. 259 | London Mathematical Society Lecture Note Series ; no. 259.Publisher: Cambridge : Cambridge University Press, 1999Description: 1 online resource (430 pages) : digital, PDF file(s)Content type: - text
- computer
- online resource
- 9780511565670 (ebook)
- Models & Computability
- 511.3 21
- QA9.A1 L64 1997
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK12239 |
Title from publisher's bibliographic system (viewed on 16 Oct 2015).
Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their 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, post-graduate researchers, and the informed and interested nonspecialist.
There are no comments on this title.