Bishop, Errett Foundations of constructive analysis - New York McGraw Hill 1967 Dewey Class. No.: 515 / BIS.F