"Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (Jan Krajíček)