Image from Amazon.com
Logical foundations of proof complexity [electronic resource] / Stephen Cook, Phuong Nguyen.
Material type:
TextSeries: Perspectives in logicPublication details: New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010.Description: 1 online resource (xv, 479 p.) : illISBN: - 9780511677168 (electronic bk.)
- 0511677162 (electronic bk.)
- 511.3/6 22
- QA267.7 .C695 2010eb
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | EBSCO Mathematics | Available |
Total holds: 0
Includes bibliographical references and index.
Description based on print version record.