دانلود کتاب From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
| عنوان فارسی | از مجموعه ها و انواع تا توپولوژی و تجزیه و تحلیل: به سوی مبانی عملی برای ریاضیات سازنده |
|---|---|
| عنوان اصلی | From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics |
| ناشر | |
| نویسنده | Laura Crosilla, Peter Schuster |
| ISBN | 0198566514, 9780198566519 |
| سال نشر | 2005 |
| زبان | English |
| تعداد صفحات | 371 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد