أرسل هذا في رسالة قصيرة: Lectures on logic and computation :