Forcing with random variables and proof complexity/
Krajícek, Jan.
Forcing with random variables and proof complexity/ Jan Krajicek. - Cambridge, UK; New York: Cambridge University Press, 2011. - xvi, 247 p.: ill.; 23 cm. - London Mathematical Society lecture note series; 382 . - London Mathematical Society lecture note series; 382. .
Includes bibliographical references (p. 236-242) and indexes.
9780521154338 (pbk.) 0521154332 (pbk.)
2010036194
Computational complexity.
Random variables
Mathematical analysis.
511.3 / K89f
Forcing with random variables and proof complexity/ Jan Krajicek. - Cambridge, UK; New York: Cambridge University Press, 2011. - xvi, 247 p.: ill.; 23 cm. - London Mathematical Society lecture note series; 382 . - London Mathematical Society lecture note series; 382. .
Includes bibliographical references (p. 236-242) and indexes.
9780521154338 (pbk.) 0521154332 (pbk.)
2010036194
Computational complexity.
Random variables
Mathematical analysis.
511.3 / K89f