خرید و دانلود نسخه کامل کتاب Theories of types and proofs

نظریه انواع و اثبات ها

Theories of types and proofs

نویسنده: Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.)

ناشر: MSJ

سال انتشار: 1998

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

زبان: English

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

حجم فایل: 3 مگابایت