خرید و دانلود نسخه کامل کتاب Proofs and Types

اثبات و انواع

Proofs and Types

نویسنده: Jean-Yves Girard, Yves Lafont, Paul Taylor

ناشر: Cambridge University Press

سال انتشار: 1989

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

زبان: English

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

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