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