Constructive mathematics : standard 1 - FOURIE, F S. Pretoria, 1995