Anfonwch hwn fel neges destun: Handbook of practical logic and automated reasoning / John Harrison.