A note on recursively enumerable predicates in groups
Volume 66 / 1970
Fundamenta Mathematicae 66 (1970), 61-63
DOI: 10.4064/fm-66-1-61-63