From Sets and Types to Topology and Analysis
Towards Practicable Foundations for Constructive Mathematics
Towards Practicable Foundations for Constructive Mathematics
We don't have a description for this book yet. You can help out the author by adding a description.
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
Featured Series
5 primary booksOxford Logic Guides is a 4-book series with 4 primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and 5 others.
