Apartness spaces as framework for constructive topology (2003)

Cached

Download Links

by Douglas Bridges
Venue:Ann. Pure Appl. Logic
Citations:8 - 2 self