From sets and types to topology and analysis

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.

שנה

2005

שפה

English

הוצאה

Ebsco Publishing

מהדורות

2

ISBN

9780191524202

מקור הנתונים: Wikidata