اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
قیمت اصلی 93,000 تومان بود.62,000 تومانقیمت فعلی 62,000 تومان است.
خرید و دانلود نسخه کامل کتاب Some applications of the method of forcing (1995)
قیمت اصلی 123,000 تومان بود.92,000 تومانقیمت فعلی 92,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
19ساعت
00دقیقه
00ثانیه
-23%
خرید و دانلود نسخه کامل کتاب Programming with Higher-Order Logic
قیمت اصلی 133,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
تعداد فروش: 53
| عنوان فارسی |
برنامه نویسی با منطق مرتبه بالاتر |
|---|---|
| عنوان اصلی | Programming with Higher-Order Logic |
| ناشر | Cambridge University Press |
| نویسنده | Dale Miller, Gopalan Nadathur |
| ISBN | 052187940X, 9780521879408 |
| سال نشر | 2012 |
| زبان | English |
| تعداد صفحات | 322 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 1 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.