Repository | Book | Chapter
(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.
From intuitionistic to point-free topology
on the foundation of homotopy theory
Erik Palmgren
pp. 237-253
Publication details
DOI: 10.1007/978-1-4020-8926-8_12
Full citation:
Palmgren, E. (2009)., From intuitionistic to point-free topology: on the foundation of homotopy theory, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 237-253.
This document is unfortunately not available for download at the moment.