
خرید و دانلود نسخه کامل کتاب Introduction to Mathematical Logic
55,500 تومان قیمت اصلی 55,500 تومان بود.40,000 تومانقیمت فعلی 40,000 تومان است.
![خرید و دانلود نسخه کامل کتاب Studied Flexibility: Categories and Types in Syntax and Semantics [PhD Thesis]](https://elifile.ir/wp-content/uploads/2025/08/d8aed8b1db8cd8af-d988-d8afd8a7d986d984d988d8af-d986d8b3d8aed987-daa9d8a7d985d984-daa9d8aad8a7d8a8-studied-flexibility-categories-and-types-in-syntax-and_68af453de67a7-348x400.jpeg)
خرید و دانلود نسخه کامل کتاب Studied Flexibility: Categories and Types in Syntax and Semantics [PhD Thesis]
43,500 تومان قیمت اصلی 43,500 تومان بود.28,000 تومانقیمت فعلی 28,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
08ساعت
05دقیقه
42ثانیه
خرید و دانلود نسخه کامل کتاب Normalization, Cut-Elimination, and the Theory of Proofs
47,500 تومان قیمت اصلی 47,500 تومان بود.32,000 تومانقیمت فعلی 32,000 تومان است.
تعداد فروش: 41
عنوان فارسی |
عادی سازی، برش حذف، و نظریه اثبات |
---|---|
عنوان اصلی | Normalization, Cut-Elimination, and the Theory of Proofs |
ویرایش | 1 |
ناشر | CSLI Publications |
نویسنده | A. M. Ungar |
ISBN | 0937073830, 9780937073834 |
سال نشر | 1992 |
زبان | English |
تعداد صفحات | 245 |
دسته | منطق |
فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
حجم فایل | 7 مگابایت |
2
آیتم فروخته شده در 30 دقیقه
3
نفر در حال مشاهده این محصول هستند!
Categories: ریاضیات و آمار, منطق
نقد و بررسیها
هنوز بررسیای ثبت نشده است.