Bridges D.S. Techniques of constructive analysis / D. S. Bridges, L. S. Vita, 2006 r=on-line. - Текст : электронный.