Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes - Dutilh Novaes, Catarina (Springer, 2007)