Retracing elementary mathematics - Henkin, Leon (A series of mathematics texts, 1962)