From Sets and Types to Topology and Analysis
Towards Practicable Foundations for Constructive Mathematics
Publisher: Clarendon Press
Type: Physical Book
Language: English
Pages: 350
Information: 1
Release Date: 2005-01-01
ISBN 10: 0198566514
ISBN 13: 9780198566519
Readers: 1
Country: United States of America