Telefona gönder: Formalizing Medieval Logical Theories