خرید و دانلود نسخه کامل کتاب Logical Frameworks for Truth and Abstraction: An Axiomatic Study

چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

نویسنده: Andrea Cantini

ناشر: Elsevier

سال انتشار: 1996

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

زبان: English

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

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