Formalizing Medieval Logical Theories by Catarina Dutilh Novaes