Handbook of Constructive Mathematics

Gives a complete overview of modern constructive mathematics and its applications through surveys by leading experts.