Bounded Arithmetic, Propositional Logic and Complexity Theoryby Jan Krajicek, G. C. Rota, B. Doran, M. Ismail, T. Y. LamWriting a summary for young readers…For young readersBook data: Open Library