Sets and proofs - 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.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 1999 | Storbritannien, Cambridge | 436 sidor. |