Logical foundations of proof complexity
- Författare
- Stephen Cook
- (Stephen Cook, Phuong Nguyen.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press, Association for Symbolic Logic | 2010 | England, Cambridge, New York, Ithaca, NY | xv, 479 sidor. ill. 25 cm. | 978-0-521-51729-4 |
| Cambridge University Press | 2010 | England, Cambridge | 1 online resource (496 sidor.) digital, PDF file(s). | 978-0-511-67627-7 |