@BOOK{ Book!D - 100992201,
AUTHOR = "/ Stephen Cook, Phuong Nguyen",
TITLE = "Logical foundations of proof complexity",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Computational complexity,Proof theory,Logic, Symbolic and mathematical",
URL = "/book/100992201/Logical-foundations-of-proof-complexity/"}