@BOOK{ Book!D - 92941043,
AUTHOR = "",
TITLE = "Proof complexity",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه مازندران",
SUBJECT = "Proof theory. ; Computational complexity. ;",
URL = "/book/92941043/Proof-complexity/"}