منطق جبري

رياضيات, علوم الحاسوب, فلسفة, منطق

معامل ليبنتز (Leibniz operator)

أسس الرياضيات, جبر, منطق رياضي, نظرية النماذج

المنطق الجبري التجريدي (Abstract Algebraic Logic)