خرید و دانلود نسخه کامل کتاب Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
قیمت اصلی 50,500 تومان بود.35,000 تومانقیمت فعلی 35,000 تومان است.
خرید و دانلود نسخه کامل کتاب Programming with Higher-Order Logic
قیمت اصلی 66,500 تومان بود.51,000 تومانقیمت فعلی 51,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
16ساعت
01دقیقه
19ثانیه
-33%
خرید و دانلود نسخه کامل کتاب Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
قیمت اصلی 46,500 تومان بود.31,000 تومانقیمت فعلی 31,000 تومان است.
تعداد فروش: 40
| عنوان فارسی |
Ω-کتابشناسی منطق ریاضی. جلد 6: نظریه اثبات. ریاضیات سازنده |
|---|---|
| عنوان اصلی | Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics |
| ناشر | Springer |
| نویسنده | Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.) |
| ISBN | 9783662090695, 9783662090671 |
| سال نشر | 1987 |
| زبان | English |
| تعداد صفحات | 436 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 15 مگابایت |
1
آیتم فروخته شده در 30 دقیقه
3
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.