Tractatus called afterwards Summule logicales / Peter of Spain (Petrus Hispanus Portugalensis). 1. crit. ed. from the manuscripts with an introd. by L. M. de Rijk