FOURIE, F S. Pretoria, 1995

Constructive mathematics : standard 1