Handbook of Practical Logic and Automated Reasoning door John Harrison