Forcing with random variables and proof complexity - Krajíček, Jan 1960- (Cambridge University Press, 2011)
Includes bibliographical references and indexes