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.
1989 ◽
Vol 32
(3)
◽
pp. 495-496
1988 ◽
Vol 68
(12)
◽
pp. 636-636
1989 ◽
Vol 32
(3)
◽
pp. 496-497
1975 ◽
Vol 19
(3)
◽
pp. 318-319
2004 ◽
Vol 36
(05)
◽
pp. 713-714