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