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