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
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford
Clarendon
2005, 2005
|
| Series: | Oxford logic guides / Oxford logic guides
|
| Subjects: | |
| Online Access: | |
| Collection: | Oxford University Press - Collection details see MPG.ReNa |
| Summary: | 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 |
|---|---|
| Item Description: | "This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Preface |
| Physical Description: | xix, 350 p. ill |
| ISBN: | 9780191713927 |