Journey into Apartness Space
From MaRDI portal
Publication:3613304
DOI10.1007/978-1-4020-8926-8_8zbMath1168.03049OpenAlexW46018283MaRDI QIDQ3613304
Douglas S. Bridges, Luminiţa Simona Vîţă
Publication date: 12 March 2009
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_8
Constructive and recursive analysis (03F60) Frames, locales (06D22) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)
Related Items
This page was built for publication: Journey into Apartness Space