Summula logicae. Corr: Marius de Benevento