Normal Standard Arithmetic by Edward Brooks