Logical foundations of proof complexity - Cook, Stephen 1939-; Nguyen, Phuong (Cambridge Univ. Press, 2010)
Includes bibliographical references and index