Formalizing Medieval Logical Theories door Catarina Dutilh Novaes