A treatise on the calculus of finite differences