دانلود کتاب Computational Logic and Set Theory: Applying Formalized Logic to Analysis
کتاب منطق محاسباتی و نظریه مجموعه ها: بکارگیری منطق رسمی در تحلیل نسخه زبان اصلی
دانلود کتاب منطق محاسباتی و نظریه مجموعه ها: بکارگیری منطق رسمی در تحلیل بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computational Logic and Set Theory: Applying Formalized Logic to Analysis
نام کتاب : Computational Logic and Set Theory: Applying Formalized Logic to Analysis
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق محاسباتی و نظریه مجموعه ها: بکارگیری منطق رسمی در تحلیل
سری :
نویسندگان : Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
ناشر : Springer-Verlag London
سال نشر : 2011
تعداد صفحات : 435
ISBN (شابک) : 0857298070
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.