Series | Buch | Kapitel

182103

From intuitionistic to point-free topology

on the foundation of homotopy theory

Erik Palmgren

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

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.