En 1697 publicó un tratado notable sobre lógica y en 1708 un tratado de estática.