Amanote Research
Register
Sign In
Krajíček Jan. Forcing With Random Variables and Proof Complexity. London Mathematical Society Lecture Note Series, Vol. 232. Cambridge University Press, 2011, Xvi + 247 Pp.
Bulletin of Symbolic Logic
- United Kingdom
doi 10.2178/bsl.1804040
Full Text
Open PDF
Abstract
Available in
full text
Categories
Philosophy
Logic
Date
December 1, 2012
Authors
Sam Buss
Publisher
Cambridge University Press (CUP)