book

Constructive Real Numbers and Constructive Function Spaces

Reference details