TY  - BOOK
A1  - 
TI  - Proof complexity
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92941043
UR  /book/92941043/Proof-complexity/
ER  -