Techniques of Constructive Analysis

• Κύριοι συγγραφείς: Bridges, Douglas S. (Συγγραφέας), Vîţă, Luminiţa Simona (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York, 2006.
• Σειρά: Universitext
• Θέματα: Mathematics.; Mathematical analysis.; Analysis (Mathematics).; Functional analysis.; Operator theory.; Functions of real variables.; Mathematical logic.; Mathematical Logic and Foundations.; Analysis.; Real Functions.; Functional Analysis.; Operator Theory.

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. The authors begin by outlining the history of constructive mathematics, and the logi...