ru en

Tutorial on Proof Complexity. Part I