Bishop, Errett

Foundations of constructive analysis - New York McGraw Hill 1967

515 / BIS.F