Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity | Publicación