Constructive real numbers and constructive function spaces
Publisher: American Mathematical Society
Published: 1968-01-01