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.