الروابط المنطقية وأثرها في المنطق الرياضي والحاسوب

دراسة في اصل الروابط المنطقية وانواعها في المنطق الرياضي وحقوله مثل منطق القضايا (propositional logic) أو منطق الجمل ، منطق الجهة (modal logic)، نظرية المجموعات ومنطق العلاقات إضافة الى المنطق المستخدم في الحاسوب وهو المنطق البولي (boolean logic) أو المنطق الرقمي كما يسميه البعض كما تحوي الدراسة على استخدامات الروابط المنطقية في بعض لغات البرمجة المنطقية مثل برولوغ (prolog) ولغات الذكاء الصناعي (artificial intelligence).