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