00418nam a2200133Ia 4500082001100000100001700011245010300028260005200131300001100183490005100194500001600245500000500261700001800266  aCD27b  aSanin, N. A.  aConstructive real numbers and constructive function spacesbcTr. from the Russian by E. Mendelson  aProvidencebAmerican Mathematical Societyc1968  aOne CD  aTranslations of Mathematical monographsv v.21  aAMS Webpage  a  aMendelson, E.