مقدمه ای بر منطق مقوله ای مرتبه بالاتر (مطالعات کمبریج در ریاضیات پیشرفته، سری شماره 7)
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
نویسنده: J. Lambek, P. J. Scott
ناشر: Cambridge University Press
سال انتشار: 1988
تعداد صفحات: 301
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت