دانلود کتاب Mathematical Logic: An Introduction
کتاب منطق ریاضی: مقدمه نسخه زبان اصلی
دانلود کتاب منطق ریاضی: مقدمه بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Mathematical Logic: An Introduction
نام کتاب : Mathematical Logic: An Introduction
عنوان ترجمه شده به فارسی : منطق ریاضی: مقدمه
سری : De Gruyter Textbook
نویسندگان : Daniel Cunningham
ناشر : Walter de Gruyter
سال نشر : 2023
تعداد صفحات : 270
ISBN (شابک) : 9783110782073 , 3110782073
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Preface
Acknowledgments
Contents
1 Basic set theory and basic logic
2 Propositional logic
3 First-order logic
4 Soundness and completeness
5 Computability
6 Undecidability and incompleteness
Bibliography
Symbol Index
Subject Index