From Sets and Types to Topology and Analysis
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.
Tags
Genre
Series
Featured Series
4 primary books#48 in Oxford Logic Guides
Oxford Logic Guides is a 4-book series with 4 released primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and Mark A. Reynolds.
#21
#40
#48
#52
Reviews
Popular Reviews
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
