Polycyclic-by-finite groups and first-order sentences
scientific article; zbMATH DE number 6340910
scientific article