Bounded arithmetic, propositional logic, and complexity theory - Krajíček, Jan (Cambridge University Press, 1995)
Includes bibliographical references (p. 327-334) and indexes