Logical Foundations of Proof Complexity (Perspectives in Logic)

9780521517294
0-521-51729-X