From sets and types to topology and analysis
No reviews yet
First published: 2005
2 languages
ISBN: 9781280754036
Description
Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology.
![[William Wheeler Hubbell, authorized to apply for patents.]](https://covers.openlibrary.org/b/id/10200621-M.jpg)
