Apartness spaces as framework for constructive topology (2003)

Cached

Download Links

by Douglas Bridges
Venue:Ann. Pure Appl. Logic
Citations:7 - 1 self