From Sets and Types to Topology and Analysis
Subtitle: Towards Practicable Foundations for Constructive Mathematics
Publisher: Ebsco Publishing
Published: 2005
Language: eng
ISBN-13: 9780191524202