Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp.

2012 ◽  
Vol 18 (4) ◽  
pp. 576-578
Author(s):  
Sam Buss
Sign in / Sign up

Export Citation Format

Share Document