اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
قیمت اصلی 91,000 تومان بود.60,000 تومانقیمت فعلی 60,000 تومان است.
خرید و دانلود نسخه کامل کتاب The Logical Status of Diagrams
قیمت اصلی 121,000 تومان بود.90,000 تومانقیمت فعلی 90,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
21ساعت
56دقیقه
29ثانیه
-23%
خرید و دانلود نسخه کامل کتاب Lectures on the Curry-Howard Isomorphism
قیمت اصلی 135,000 تومان بود.104,000 تومانقیمت فعلی 104,000 تومان است.
تعداد فروش: 40
| عنوان فارسی |
سخنرانی در مورد ایزومورفیسم کاری-هاوارد |
|---|---|
| عنوان اصلی | Lectures on the Curry-Howard Isomorphism |
| ناشر | Elsevier Science |
| نویسنده | Morten Heine Sørensen, Paweł Urzyczyn |
| ISBN | 0444520775, 9780444520777 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 458 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 34 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.