book

Constructive Real Numbers and Constructive Function Spaces

Published in 2002 by AMS

Reference details