From Sets and Types to Topology and Analysis
Towards Practicable Foundations for Constructive Mathematics
Clarendon Press
Published on 1. September 2007
Software
Other digital
978-0-19-171392-7 (ISBN)
More details
Language
English
Place of publication
United Kingdom
ISBN-13
978-0-19-171392-7 (9780191713927)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Editor
Universite Di Firenze
Mathematical Institut Universitaet Munich