From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Online Book |
| Language: | English |
| Published: |
Clarendon,
2005
|
| Series: | Oxford logic guides ; |
| Subjects: | |
| Online Access: | https://ezproxy.villanova.edu/login?URL=https://academic.oup.com/book/5354 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Physical Description: | 1 online resource (xix, 350 pages) : illustrations |
|---|---|
| ISBN: | 9780191524202 0191524204 0198566514 9780198566519 1423753100 9781423753100 1280754036 9781280754036 9780191713927 0191713929 9786610754038 6610754039 |