TY  - BOOK
AU  - Krajicek, Jan
TI  - Forcing with random variables and proof complexity
SN  - 9780521154338
U1  - 511.36 
PY  - 2010///
PB  - Cambridge
KW  - Mathematics
ER  -