منطق ریاضی: یک دوره با تمرینات قسمت اول: حساب گزاره ای ، جبرهای بولی ، حساب پیشگویی ، قضیه های کامل بودن
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
نویسنده: Rene Cori, Daniel Lascar
ناشر: Oxford University Press, USA
سال انتشار: 2000
تعداد صفحات: 359
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت