Completing the rationals and metric spaces (1993)

by C Jones
Venue:Logical Environments