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