Normal Higher Arithmetic by Edward Brooks