دانلود کتاب 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
نام کتاب : From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
عنوان ترجمه شده به فارسی : از مجموعه ها و انواع تا توپولوژی و تجزیه و تحلیل: به سوی مبانی عملی برای ریاضیات سازنده
سری : Oxford Logic Guides 48
نویسندگان : Laura Crosilla, Peter Schuster
ناشر : Oxford University Press, USA
سال نشر : 2005
تعداد صفحات : 371
ISBN (شابک) : 9780198566519 , 0198566514
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی