أرسل هذا في رسالة قصيرة: Formalizing Medieval Logical Theories