خرید و دانلود نسخه کامل کتاب Computational Logic and Set Theory: Applying Formalized Logic to Analysis

منطق محاسباتی و نظریه مجموعه: اعمال منطق رسمی برای تجزیه و تحلیل

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

نویسنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2011

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

زبان: English

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

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