TY  - BOOK
A1  - Jan Krajicek
TI  - Forcing with random variables and proof complexity
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101393835
UR  /book/101393835/Forcing-with-random-variables-and-proof-complexity/
ER  -