
خرید و دانلود نسخه کامل کتاب Adaptive Logics and Dynamic Proofs. Mastering the Dynamics of Reasoning, with Special Attention to Handling Inconsistency
48,500 تومان قیمت اصلی 48,500 تومان بود.33,000 تومانقیمت فعلی 33,000 تومان است.

خرید و دانلود نسخه کامل کتاب Logic: Deductive and Inductive
67,500 تومان قیمت اصلی 67,500 تومان بود.52,000 تومانقیمت فعلی 52,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
10ساعت
41دقیقه
49ثانیه
خرید و دانلود نسخه کامل کتاب Categorical Logic and Type Theory
45,500 تومان قیمت اصلی 45,500 تومان بود.30,000 تومانقیمت فعلی 30,000 تومان است.
تعداد فروش: 43
عنوان فارسی |
منطق قطعی و نظریه نوع |
---|---|
عنوان اصلی | Categorical Logic and Type Theory |
ناشر | Elsevier |
نویسنده | Bart Jacobs |
ISBN | 0444501703, 9780080528700 |
سال نشر | 1998 |
زبان | English |
تعداد صفحات | 779 |
دسته | منطق |
فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
حجم فایل | 22 مگابایت |
2
آیتم فروخته شده در 30 دقیقه
4
نفر در حال مشاهده این محصول هستند!
Categories: ریاضیات و آمار, منطق
نقد و بررسیها
هنوز بررسیای ثبت نشده است.