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