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