From Sets and Types to Topology and Analysis
Subtitle: Towards Practicable Foundations for Constructive Mathematics
Publisher: Oxford University Press
Published: 2005
Language: eng
ISBN-13: 9781280754036