Introduction to the National Arithmetic, on the Inductive Sy by Bejamin Greenleaf