Publication:3669642
From MaRDI portal
zbMath0519.20040MaRDI QIDQ3669642
Publication date: 1983
20A15: Applications of logic to group theory
20K20: Torsion-free groups, infinite rank
20K25: Direct sums, direct products, etc. for abelian groups