Krajícek, Jan. <br/><br/>
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. .
<br/><br/>Includes bibliographical references (p. 236-242) and indexes. 
<br/><br/><label>ISBN: </label>9780521154338 (pbk.) 0521154332 (pbk.) 
<br/><br/><label>LCCN: </label>2010036194 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational complexity.<br/>Random variables<br/>Mathematical analysis.
<br/><br/><label>Dewey Class. No.: </label>511.3  / K89f