خرید و دانلود طرح معرق گوزن و سورتمه
قیمت اصلی 45,500 تومان بود.25,500 تومانقیمت فعلی 25,500 تومان است.
خرید و دانلود طرح معرق شیر خشمگین
قیمت اصلی 46,500 تومان بود.26,500 تومانقیمت فعلی 26,500 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
07ساعت
40دقیقه
46ثانیه
-36%
خرید و دانلود نسخه کامل کتاب Combinators,lambda-terms and proof theory
قیمت اصلی 43,500 تومان بود.28,000 تومانقیمت فعلی 28,000 تومان است.
تعداد فروش: 74
| عنوان فارسی |
ترکیبیات، اصطلاحات لامبدا و نظریه اثبات |
|---|---|
| عنوان اصلی | Combinators,lambda-terms and proof theory |
| ناشر | D Reidel |
| نویسنده | Soren Stenlund |
| ISBN | 9027703051, 9789027703057 |
| سال نشر | 1972 |
| زبان | English |
| تعداد صفحات | 187 |
| دسته | ترکیبی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 1 مگابایت |
2
آیتم فروخته شده در 30 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
هدف این مونوگراف ارائه برخی از ایده ها و نتایج اساسی در منطق ترکیبی محض و کاربرد آنها در برخی موضوعات در نظریه اثبات و همچنین ارائه برخی از آثار خودم است. برخی از مطالب فصل 1 و 3 قبلاً در یادداشت های من در مقدمه ای بر منطق ترکیبی آمده است. در اینجا به شکل اصلاح شده ظاهر می شود زیرا ارائه در یادداشت های من از چندین جنبه نادرست است.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.