Review:
Samuel R. Buss
Review of Forcing with Random Variables and Proof Complexity,
by Jan Krajíček. Cambridge University Press, 2011.
Review to appear in Bulletin of Symbolic Logic, 18,4 (2012) 576-578.
Download review: PDF.