خرید و دانلود نسخه کامل کتاب Logic and Computation: Interactive Proof with Cambridge LCF

منطق و محاسبات: اثبات تعاملی با کمبریج LCF

Logic and Computation: Interactive Proof with Cambridge LCF

نویسنده: Paulson L.C.

ناشر: CUP

سال انتشار: 1990

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

زبان: English

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

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