Summulae logicales ;Libellus parvorum logicalium