TY  - BOOK
TI  - Logical Foundations of Proof Complexity
SN  - 9780521517294 (hardback)
N1  - Title from publisher's bibliographic system (viewed on 01 Sep 2015)
UR  - http://dx.doi.org/10.1017/CBO9780511676277
ER  -