Proximity Ordered Spaces

From MaRDI portal
Publication:4113094