دانلود کتاب Introduction to Higher Order Categorical Logic
کتاب مقدمه ای بر منطق مقوله ای مرتبه عالی نسخه زبان اصلی
دانلود کتاب مقدمه ای بر منطق مقوله ای مرتبه عالی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Introduction to Higher Order Categorical Logic
نام کتاب : Introduction to Higher Order Categorical Logic
عنوان ترجمه شده به فارسی : مقدمه ای بر منطق مقوله ای مرتبه عالی
سری :
نویسندگان : J. Lambek, P. J. Scott
ناشر : Cambridge University Press
سال نشر : 1988
تعداد صفحات : 301
ISBN (شابک) : 0521356539
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Preface
Part 0 Introduction to category theory
Introduction to Part 0
1 Categories and functors
2 Natural transformations
3 Adjoint functors
4 Equivalence of categories
5 Limits in categories
6 Triples
7 Examples of cartesian closed categories
Part I Cartesian closed categories and
پست ها تصادفی