
خرید و دانلود نسخه کامل کتاب An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
45,500 تومان قیمت اصلی 45,500 تومان بود.30,000 تومانقیمت فعلی 30,000 تومان است.

خرید و دانلود نسخه کامل کتاب The Logical Status of Diagrams
60,500 تومان قیمت اصلی 60,500 تومان بود.45,000 تومانقیمت فعلی 45,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
14ساعت
14دقیقه
53ثانیه
خرید و دانلود نسخه کامل کتاب Lectures on the Curry-Howard Isomorphism
67,500 تومان قیمت اصلی 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
نفر در حال مشاهده این محصول هستند!
Categories: ریاضیات و آمار, منطق
نقد و بررسیها
هنوز بررسیای ثبت نشده است.