Automated Deduction - CADE-22 - Programmering - e-bok(9783642029592)