@book{21732,
	author = {Krajíček, Jan},
	title = {Forcing with random variables and proof complexity /},
	publisher = {Cambridge University Press,},
	year = {2011.},
	series = {London Mathematical Society lecture note series ;},
	address = {Cambridge, UK ;},
	url = {http://assets.cambridge.org/97805211/54338/cover/9780521154338.jpg}
}