Bridges the foundations & practice of constructive mathematics focusses on the contrast between the theoretical developments, which have been useful for computer science & more specific efforts on constructive analysis, algebra & topology. This book is aimed at academic logicians, mathematicians, philosophers & computer scientists.