The purpose of this book is to describe the global properties of complete simply connected spaces that are non-positively curved in the sense of A. D. Alexandrov and to examine the structure of groups that act properly on such spaces by isometries. Thus the central objects of study are metric spaces in which every pair of points can be joined by an arc isometric to a compact interval of the real line and in which every triangle satisfies the CAT(O) inequality. This inequality encapsulates the concept of non-positive curvature in Riemannian geometry and allows one to reflect the same concept...