Mathematical Logic.

مرجع أكاديمي متين في أساسيات المنطق الرياضي، البراهين، والنظم الشكلية للطلاب والمهتمين بالرياضيات المتقدمة.

لماذا يجب قراءة هذا الكتاب؟ يعزز التفكير النقدي والقدرة على بناء البراهين الرياضية بدقة متناهية ومنهجية واضحة. ملخص وأهم المحاور يغطي المنطق الرمزي، نظرية المجموعات، المسلمات الأساسية، والعلاقة بين اللغة والبرهان الرياضي.