خرید و دانلود نسخه کامل کتاب Categorical Logic

منطق قطعی

Categorical Logic

نویسنده: Andrew M. Pitts

ناشر: draft of a chapter in: S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds.), Handbook of Logic in Computer Science, vol. VI, OUP, version 18 May 1995, 1995

سال انتشار: 1995

تعداد صفحات: 95

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 662 کیلوبایت