Mathematical Logic

مجموعة محاضرات في المنطق الرياضي تكملة لتلك التي تم تناولها في السنة الثالثة ليسانس، وبالتالي تكون هذه المحاضرات تتناول طرق دراسة القضية الرمزية في المنطق الرياضي، بداية بداية بالتذكير بطريقة جداول الصدق الكلاسيكية ثم طريقة جداول الصدق المحتصرة ثم طريقة التحليل الشجيري.