MATH-LiB Online Catalogue

Mathematics Information Resource Centre, Department of Mathematics, IISc, Bangalore.

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)