Bounded Arithmetic, Propositional Logic and Complexity Theory by Jan Kraji'cek