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 |
| 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: | 1 online resource (xix, 350 pages) : illustrations |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780191524202 0191524204 0198566514 9780198566519 1423753100 9781423753100 1280754036 9781280754036 9780191713927 0191713929 9786610754038 6610754039 |