This handbook gives a complete overview of modern constructive mathematics â€" mathematics in which 'there exists' always means 'we can construct' â€" and its applications. Written and edited by leading experts, it is an indispensable reference for established constructive mathematicians and guide to the field for graduate students and other newcomers.