From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

RecordNumber
645
Title
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
Publication
OXFORD
Publication Year
2005
Notes
براي دانلودو مشاهده كتاب به قسمت لينكهاي مرتبط مراجعه نماييد
ISBN
978-0-19-856651-9
Link To Document :
http://math.iranlibs.ir/dL/search/default.aspx?Term=645&Field=0&DTC=13