Publication details
Publisher: Springer
Place: Berlin
Year: 2009
Pages: 237-253
Series: Synthese Library
ISBN (Hardback): 9781402089251
Full citation:
, "From intuitionistic to point-free topology", in: Logicism, intuitionism, and formalism, Berlin, Springer, 2009
From intuitionistic to point-free topology
on the foundation of homotopy theory
pp. 237-253
in: Erik Palmgren, Krister Segerberg (eds), Logicism, intuitionism, and formalism, Berlin, Springer, 2009Publication details
Publisher: Springer
Place: Berlin
Year: 2009
Pages: 237-253
Series: Synthese Library
ISBN (Hardback): 9781402089251
Full citation:
, "From intuitionistic to point-free topology", in: Logicism, intuitionism, and formalism, Berlin, Springer, 2009