Jan KrajicekBooksLogic Colloquium '01Bounded Arithmetic, Propositional Logic and Complexity TheoryAuthor data: Open Library