دانلود کتاب Categorical Logic and Type Theory
دسته: منطق
کتاب منطق مقوله ای و نظریه نوع نسخه زبان اصلی
دانلود کتاب منطق مقوله ای و نظریه نوع بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Categorical Logic and Type Theory
نام کتاب : Categorical Logic and Type Theory
عنوان ترجمه شده به فارسی : منطق مقوله ای و نظریه نوع
سری : Studies in Logic and the Foundations of Mathematics vol. 141.
نویسندگان : Bart Jacobs
ناشر : Elsevier
سال نشر : 2005
تعداد صفحات : 779
ISBN (شابک) : 9780444501707 , 0444508538
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 29 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی