Enviar aquest missatge de text: Formalizing Medieval Logical Theories