Introduction To The National Arithmetic Of The Inductive System by Benjamin Greenleaf