Practical arithmetic, by induction and analysis | NiceBooksReads