أرسل هذا في رسالة قصيرة: Logical foundations of artificial intelligence /