Главные сочинения: «Systema causarum efficientium» (1745) и «Elementa philosophiae rationalis methodo mathematica demonstrata» (1747).