Jan Krajicek

Jan Krajicek is the author of books such as Bounded Arithmetic Propositional Logic and Complexity Theory.