Edwards H.M. Essays in Constructive Mathematics

Springer, 2004. — 227 p. — ISBN 0-387-21978-1.This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not `algorithms' that require surveying an infinite number of possibilities to determine whether a given condition is met.