B. DoranBooksBounded Arithmetic, Propositional Logic and Complexity TheoryAmazing Scarlett BrownAuthor data: Open Library