1. Blackburn, P., van Benthem, J.F.A.K.: Modal logic: a semantic perspective. In: Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (eds.) Handbook of Modal Logic, pp. 173–204. Elsevier Science, Amsterdam (2006)
2. Gentzen, G.: The collected papers of Gerhard Gentzen. In: Szabo, M.E. (ed.) Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1969)
3. Jerábek, E.: Proof complexity of intuitionistic implicational formulas. Ann. Pure Appl. Log. 168(1), 150–190 (2017)
4. Kolmogorov, A.N.: Combinatorial foundations of information theory and the calculus of probabilities. Akademiya Nauk SSSR i Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk 38(4(232)), 27–36 (1983)
5. Krajíček, J.: On the number of steps in proofs. Ann. Pure Appl. Log. 41(2), 153–178 (1989)