Peter of Spain: Language in Dispute. An English translation of Peter of Spain's 'Tractatus' called afterwards SUMMULAE LOGICALES, based on the critical edition by L.M. de Rijk