From Sets and Types to Topology and Analysis
Subtitle: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides)
Contributors: Laura Crosilla (Editor); Peter Schuster (Editor)
Series: Oxford Logic Guides
Publisher: Oxford University Press, USA
Published: November 16, 2005
Language: eng
Format: Hardcover
Number of pages: 370
ISBN-13: 9780198566519
Subjects: Mathematics; Science/Mathematics; Logic; Mathematics / Logic; Analyse (wiskunde); Congresses; Constructieve wiskunde.; Constructive mathematics; gtt
First sentence: The present volume addresses the relationship between the foundations and practice of constructive mathematics, by presenting on the one hand some very recent contributions to constructive analysis and formal topology, and on the other hand studies which underline the capabilities and expressiveness of various formal systems which have been introduced as foundations for constructive mathematics.