Question

For infinite discrete groups:

• Lyndon & Schupp is authoritative for classical, combinatorial methods.

• Bridson & Haefliger has a lot of material for more geometric classes, like hyperbolic and CAT(0) groups.