Cook, S., & Nguyen, P. (2010). Logical founations of proof complexity. Cambridge University Press.
Chicago Edition CitationCook, Stephen, and Phuong Nguyen. Logical Founations of Proof Complexity. New York: Cambridge University Press, 2010.
MLA Edition CitationCook, Stephen, and Phuong Nguyen. Logical Founations of Proof Complexity. Cambridge University Press, 2010.
Warning: These citations may not always be 100% accurate.