Bounded arithmetic, propositional logic, and complexity theory - Krajicek Jan (Cambridge CUP, 1995)
Keywords: Computational complexity; Constructive mathematics; Proposition(Logic)