Foundations of constructive analysis - Bishop Errett (London McGraw-Hill, 1967)
Keywords: Mathematical analysis