@BOOK{ Book!D - 101393447,
AUTHOR = "Stephen Cook, Phuong Nguyen",
TITLE = "Logical foundations of proof complexity",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical",
URL = "/book/101393447/Logical-foundations-of-proof-complexity/"}