Գրեք սա: Formalizing Medieval Logical Theories