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
Add cover

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

Van Bladel Kevin with Laura Crosilla, Peter Schuster

350 pages • first pub 2005 (editions)

Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...