Logical Foundations of Proof Complexity
Logical Foundations of Proof Complexity
Cook, Stephen,
- 1 online resource (496 pages) : digital, PDF file(s).
Title from publisher's bibliographic system (viewed on 01 Sep 2015).
9780521517294 (hardback)
Title from publisher's bibliographic system (viewed on 01 Sep 2015).
9780521517294 (hardback)