خرید و دانلود نسخه کامل کتاب An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
قیمت اصلی 45,500 تومان بود.30,000 تومانقیمت فعلی 30,000 تومان است.
خرید و دانلود نسخه کامل کتاب The Logical Status of Diagrams
قیمت اصلی 60,500 تومان بود.45,000 تومانقیمت فعلی 45,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
14ساعت
14دقیقه
53ثانیه
-23%
خرید و دانلود نسخه کامل کتاب Lectures on the Curry-Howard Isomorphism
قیمت اصلی 67,500 تومان بود.52,000 تومانقیمت فعلی 52,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
آیتم فروخته شده در 30 دقیقه
4
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.