The theory of p-adic analytic pro-p groups has undergone significant development since the seminal work of Lazard. This book presents a complete and self-contained account of this theory, which has applications in both group theory and number theory. This up-to-date second edition incorporates many important new results.