From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
#48 of 5 in Oxford Logic Guides

From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

By
Laura Crosilla
Laura Crosilla
2005 • 350 pages
Nitin
Nitin Rughoonauth
Added to listMy Library
Added to listOwned
Saved as Want To Read