Logical foundations of proof complexity hardcover | DealShopping España