Foundations of constructive analysis - Bishop Errett (New York Mcgraw hill book company, 1967)
Keywords: Analysis