خرید و دانلود نسخه کامل کتاب A Course in Model Theory
قیمت اصلی 123,000 تومان بود.92,000 تومانقیمت فعلی 92,000 تومان است.
خرید و دانلود نسخه کامل کتاب Geometric Stability Theory
قیمت اصلی 123,000 تومان بود.92,000 تومانقیمت فعلی 92,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
-30%
خرید و دانلود نسخه کامل کتاب Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
قیمت اصلی 103,000 تومان بود.72,000 تومانقیمت فعلی 72,000 تومان است.
تعداد فروش: 64
| عنوان فارسی |
منطق تقلیل و جستجوی اثبات: نظریه اثبات ، معناشناسی و کنترل |
|---|---|
| عنوان اصلی | Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control |
| ناشر | Oxford University Press, USA |
| نویسنده | David J. Pym, Eike Ritter |
| ISBN | 9780198526339, 0198526334 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 227 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
2
آیتم آخرین فروخته شده 55 دقیقه
4
افرادی که اکنون این محصول را تماشا می کنند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.