خرید و دانلود نسخه کامل کتاب Higher Order Logic Theorem Proving and its Applications

اثبات قضیه منطق مرتبه بالاتر و کاربردهای آن

Higher Order Logic Theorem Proving and its Applications

نویسنده: L.J.M. Claesen, M.J.C. Gordon

ناشر: North Holland

سال انتشار: 1993

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

زبان: English

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

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