Finitely presented and residually finite implies solvable word problem

From Groupprops
Jump to: navigation, search