Books
Popular
Lists
Blog
About
Log In
Join Free
Home
/
Books
/
Laura Crosilla
Laura Crosilla
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford Logic Guides Book 48)
2005