Written by the founder of symbolic logic (and Boolean algebra), this classic treatise on the calculus of finite differences offers a thorough discussion of the

"A treatise on finite difference ineuqalities that have important applications to theories of various classes of finite difference and sum-difference equations,