مقدمه ای بر منطق قطعی مرتبه بالاتر
Introduction to higher-order categorical logic
نویسنده: J. Lambek, P. J. Scott
ناشر: Cambridge University Press
سال انتشار: 1988
تعداد صفحات: 301
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت