Techniques of Constructive Analysis
Publication year: 2006
: 978-0-387-38147-3
This text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical background who is interested in the challenge of developing mathematics algorithmically.
: Mathematics and Statistics, Convexity, Elementary Analysis, Hilbert space, calculus, proof
