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


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟