Constructive Analysis

by Errett Bishop, Douglas Bridges