Local proximity spaces

From MaRDI portal
Publication:2523525