From Sets and Types to Topology and Analysis | Towards Practicable Foundations for Constructive Mathematics

Laura Crosilla (u. a.)

ISBN 10: 0198566514 / ISBN 13: 9780198566519

Published by OUP Oxford, 2005

About this Item

From Sets and Types to Topology and Analysis | Towards Practicable Foundations for Constructive Mathematics | Laura Crosilla (u. a.) | Buch | Gebunden | Englisch | 2005 | OUP Oxford | EAN 9780198566519 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.

Seller Inventory # 133175263

Bibliographic Details

• Title: From Sets and Types to Topology and Analysis | Towards Practicable Foundations for Constructive Mathematics
• Publisher: OUP Oxford
• Publication Date: 2005
• Language: English
• ISBN 10: 0198566514
• ISBN 13: 9780198566519
• Binding: Buch
• Condition: Neu
• Dimensions: 240W x 161H x 25D millimeters 240 millimeters width by 161 millimeters height by 25 millimeters depth
• Weight: 722 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.

About the Author

Laura Crosilla is at Universite di Firenze. Peter Schuster is at Mathematical Institut, Universitaet Munich.