Văn bản này: Foundations of constructive analysis.