أرسل هذا في رسالة قصيرة: Handbook of practical logic and automated reasoning / John Harrison.