Bounded Arithmetic, Propositional Logic And Complexity Theory - Krajicek, Jan (Cambridge, 2004)
Keywords: Mathematics