Foundations of constructive analysis - Bishop Errett (1967)
Keywords: Analysis