Logica et ontologia. (Summa philosophica in usum scholarum)