Introductory text on geometric group theory?

de la Harpe's book is quite nice and has an amazing bibliography, but it doesn't really prove any deep theorems (though it certainly discusses them!). Some other sources.

1) Bridson and Haefliger's book "Metric Spaces of Non-Positive Curvature". Very easy to read and covers a lot of ground.

2) Ghys and de la Harpe's book on hyperbolic groups. Another classic, but in French. If you look around the web, you can find English translations.

3) Cannon's survey "Geometric Group Theory" in the Handbook of Geometric Topology is very nice.

4) Bowditch's survey "A course on geometric group theory" is also very nice.

5) Bridson has written two beautiful surveys entitled "Non-Positive Curvature in Group Theory" and "The Geometry of the Word Problem". The latter was one of the first things I read in any depth.

6) Geoghegan's "Topological Methods in Group Theory" is very nice, with a more topological approach.

7) Mike Davis's "The Geometry and Topology of Coxeter Groups" is a bit specific, but covers a lot of important material in a nice way.

8) John Meier's book "Groups, Graphs and Trees: An Introduction to the Geometry of Infinite Groups" is well-written and pretty gentle.

A classic, but perhaps not as "geometric" as contemporary sources, is Lyndon and Schupp's Combinatorial Group Theory (named after the classic Combinatorial Group Theory, by Magnus, Karrass, and Solitar).

Pierre de la Harpe's "Topics in Geometric Group Theory" is, to be fair, the only book I know relatively well so I can't compare it to others. Anyway, I do like it - the writing style is pleasant and it gets to some non-trivial results, including a fairly complete review of the Grigorchuk group.