Bounded arithmetic, propositional logic and complexity theory hardcover | DealShopping España