Techniques of Constructive Analysis

by Douglas S. Bridges, Luminita Simona Vita, Luminita Simona Vita

This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundamental theory of the real line and metric spaces, focusing on locatedness in normed spaces and with associated results about operators and their adjoints on a Hilbert space. The first appendix gathers together some basic notions about sets and orders, the second gives the axioms for intuitionistic...

• Format: Paperback
• Language: English
• ISBN: 038733646X
• ISBN13: 9780387336466
• Release Date: September 2006
• Publisher: Springer
• Length: 215 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"