#abstract algebra #symbolic logic #mathematical structures #group theory #study math