مقدمه ای بر منطق طبقه بندی مرتبه بالاتر
Introduction to Higher-Order Categorical Logic
نویسنده: J. Lambek, P. J. Scott
ناشر: Cambridge University Press
سال انتشار: 1988
تعداد صفحات: 301
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 9 مگابایت