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