First lessons in arithmetic on the inductive plan | NiceBooksReads