TY  - BOOK
A1  - / Stephen Cook, Phuong Nguyen
TI  - Logical foundations of proof complexit
PB  - كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران
SN  - 103427287
UR  /book/103427287/Logical-foundations-of-proof-complexit/
ER  -