دانلود کتاب From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
by Laura Crosilla
|
عنوان فارسی: از مجموعه ها و انواع به توپولوژی و تجزیه و تحلیل: به سمت پایه های عملی برای ریاضیات سازنده |