From intuitionistic to point-free topology
on the foundation of homotopy theory
pp. 237-253
Publication details
Published in:
Palmgren Erik, Segerberg Krister (2009) Logicism, intuitionism, and formalism: what has become of them?. Dordrecht, Springer.
Seiten: 237-253
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-1-4020-8926-8_12
Referenz:
Palmgren Erik (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, 237–253.