اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب My Start-Up Life: What a (Very) Young CEO Learned on His Journey Through Silicon Valley
قیمت اصلی 135,000 تومان بود.60,000 تومانقیمت فعلی 60,000 تومان است.
خرید و دانلود نسخه کامل کتاب The News Interview: Journalists and Public Figures on the Air
قیمت اصلی 145,000 تومان بود.70,000 تومانقیمت فعلی 70,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
13ساعت
01دقیقه
14ثانیه
-42%
خرید و دانلود نسخه کامل کتاب Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
قیمت اصلی 177,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
تعداد فروش: 64
| عنوان فارسی |
نظریه اثبات و پیچیدگی منطقی: دوره. I (مطالعات تئوری اثبات) |
|---|---|
| عنوان اصلی | Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory) |
| ناشر | |
| نویسنده | Jean-Yves Girard |
| ISBN | 9780444987150, 8870881237 |
| سال نشر | 1990 |
| زبان | English |
| تعداد صفحات | 502 |
| دسته | آموزشی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
سخت گیر. این جلد اولین جلد از مجموعهای است که در آینده به طور مشترک توسط Bibliopolis، Edizioni di Filosofia e Scienze spa، ناپولی، و تحت چاپ شمال هلند توسط Elsevier Science Publishers، آمستردام منتشر خواهد شد. این اولین جلد از کار دو قسمتی که ایده ها و تکنیک های اصلی نظریه اثبات را پوشش می دهد. این جلد مقدماتی است و با هیلبرت (که دومین مشکلش در فهرست معروف مسائل سال 1900، ثبات نظریه اعداد بود) شروع می شود و برنامه هیلبرت و نابودی آن را به دست G?del توصیف می کند. سپس با نتیجه Gentzen ادامه مییابد (Hauptsatz نتیجه اصلی قسمت اول است) و بهبودها و تعمیمها به &ohgr;-logic. جلد دوم منطقهای پیشرفتهتری را پوشش میدهد.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.