Models and computability: 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 ; 259Publication details: Cambridge, UK; New York: Cambridge University Press, 1999.Description: ix, 419 p.; 23 cmISBN:- 0521635500 (pbk.)
- 511.3 M689
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M689 1999 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000615412 |
Includes bibliographical references.
There are no comments on this title.