nLab Ansten Klev

Redirected from "T_1-topological space".

Selected publications

Selected publications

Ansten Klev, A Comparison of Type Theory with Set Theory, in: Reflections on the Foundations of Mathematics, Synthese Library 407 Springer (2019) [doi:10.1007/978-3-030-15655-8_10, pdf]

category: people

Created on January 3, 2024 at 05:46:31. See the history of this page for a list of all contributions to it.