Real numbers and elementary algebra - Davis, Thomas A. (Algebra and trignometry in four programmed volumes, 1972)