Krajicek, Jan <br/><br/>
Forcing with random variables and proof complexity/ 
Jan Krajicek 
 - 1st ed. 
 -  Cambridge,  2010. 
 - 264 pages 
<br/><br/><label>ISBN: </label>9780521154338 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.36  / KRA