Finitely presented residually finite group

Definition
A finitely presented residually finite group is a group that is both finitely presented and residually finite.