Laura Crosilla

1 book

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics by Van Bladel Kevin
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
—
Van Bladel Kevin

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Van Bladel Kevin

350 pages • first pub 2005 (editions)