Models and computability - invited papers from Logic Colloquium '97 European Meeting of the Association for Symbolic Logic, Leeds, July 1997
- Författare
- Logic Colloquium '97 1997) (Leeds :
- (Edited by S. Barry Cooper, John K. Truss.)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 1999 | Storbritannien, Cambridge | 419 sidor. ill. | |
| Cambridge University Press | 1999 | Storbritannien, Cambridge | online resource (x, 419 sidor.) ill. | 978-0-511-56567-0 |