اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
قیمت اصلی 101,000 تومان بود.70,000 تومانقیمت فعلی 70,000 تومان است.
خرید و دانلود نسخه کامل کتاب Programming with Higher-Order Logic
قیمت اصلی 133,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
17ساعت
02دقیقه
56ثانیه
-33%
خرید و دانلود نسخه کامل کتاب Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
قیمت اصلی 93,000 تومان بود.62,000 تومانقیمت فعلی 62,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
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.