From sets and types to topology and analysis [electronic resource] : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster
- Oxford logic guides ; 48
- 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.
- 9780191713927 (ebook)
- "This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Preface.
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 28934698