Marilius of Inghen Treatises on the properties of terms - Bos E P (Dordrecht D Reidel, 1983)