Logica, 1662.
Methodus inveniendi argumenta, 1663.
Ethica, 1675.
Metaphysica vera et ad menten peripateticam (póstuma,1691).