Constructive mathematics
Hayman, Margaret.
London Bell,
1976
Mathematics.