Tractatus: called afterwards Summule Logicales - Juan XXI, Papa (Philosophical Texts and Studies, 1972)