On The Combinatorial And Logical Complexities Of Algebraic Structures