A rendezvous of logic, complexity, and algebra