Techniques of Constructive Analysis

This book is an introduction to constructive mathematics with an emphasis on techniques and results that have been obtained in the last twenty years. There is specific focus on techniques and themes, and the book includes many simplified or improved proofs.