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

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