أرسل هذا في رسالة قصيرة: Handbook of logic in computer science.