خرید و دانلود نسخه کامل کتاب Larch: Languages and Tools for Formal Specification
قیمت اصلی 62,500 تومان بود.47,000 تومانقیمت فعلی 47,000 تومان است.
خرید و دانلود نسخه کامل کتاب Intersections of Thick Cantor Sets
قیمت اصلی 65,500 تومان بود.50,000 تومانقیمت فعلی 50,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
05ساعت
52دقیقه
15ثانیه
-27%
خرید و دانلود نسخه کامل کتاب Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics
قیمت اصلی 56,500 تومان بود.41,000 تومانقیمت فعلی 41,000 تومان است.
تعداد فروش: 61
| عنوان فارسی |
شیوها، بازی‌ها و تکمیل‌های مدل: رویکردی مقوله‌ای به منطق‌های گزاره‌ای غیر کلاسیک |
|---|---|
| عنوان اصلی | Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics |
| ویرایش | 1 |
| ناشر | Springer Netherlands |
| نویسنده | Silvio Ghilardi, Marek Zawadowski |
| ISBN | 9789048160365, 9789401599368 |
| سال نشر | 2002 |
| زبان | English |
| تعداد صفحات | 245 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
1
آیتم فروخته شده در 30 دقیقه
3
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.