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.

Back to Sam Buss's publications page.