Formalizing Medieval Logical Theories - Novaes, Catarina Dutilh; Dutilh Novaes, Catarina; Rahman, Shahid; Symons, John; van Bendegem, Jean Paul (Springer Netherlands, 2007)