Proof Complexity - Krají?ek (Cambridge University Press, 2019)