Apartness, Topology, and Uniformity: a Constructive View (Q4787853)
From MaRDI portal
scientific article; zbMATH DE number 1850711
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Apartness, Topology, and Uniformity: a Constructive View |
scientific article; zbMATH DE number 1850711 |
Statements
2002
0 references
constructive mathematics
0 references
apartness structure
0 references
constructive topology
0 references
uniform spaces
0 references
Apartness, Topology, and Uniformity: a Constructive View (English)
0 references
