Theories of Abelian groups with predicates specifying a subgroup

Abstract
No abstract available