دانلود کتاب Combinators,lambda-terms and proof theory (به فارسی: ترکیب‌کننده‌ها، اصطلاحات لامبدا و نظریه اثبات) نوشته شده توسط «Soren Stenlund»
اطلاعات کتاب ترکیب‌کننده‌ها، اصطلاحات لامبدا و نظریه اثبات
موضوع اصلی: ترکیبیات
نوع: کتاب الکترونیکی
ناشر: D Reidel
نویسنده: Soren Stenlund
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1972
تعداد صفحه: 187
حجم کتاب: 2 مگابایت
کد کتاب: 9027703051 , 9789027703057
توضیحات کتاب ترکیب‌کننده‌ها، اصطلاحات لامبدا و نظریه اثبات
هدف این مونوگراف ارائه برخی از ایده ها و نتایج اساسی در منطق ترکیبی محض و کاربرد آنها در برخی موضوعات در نظریه اثبات و نیز ارائه برخی از آثار خودم است. برخی از مطالب فصل 1 و 3 قبلاً در یادداشت های من در مقدمه ای بر منطق ترکیبی آمده است. در اینجا به شکل اصلاح شده ظاهر می شود زیرا ارائه در یادداشت های من از چندین جنبه نادرست است.
دانلود کتاب «ترکیب‌کننده‌ها، اصطلاحات لامبدا و نظریه اثبات»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.