From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
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.
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Language Notes: | English. |
| Published: |
Oxford :
Clarendon,
2005.
|
| Series: | Oxford logic guides ;
48. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Internet
Connect to the full text of this electronic bookAvailable Online
| Call Number: |
QA9.56 .F76 2005eb |
|
|---|---|---|
| Call Number | Status | Get It |
| QA9.56 .F76 2005eb | Available | |