Glenn H. Snyder creates a theory of alliances by deductive reasoning about the international system, by integrating ideas from neorealism, coalition formation, bargaining, and game theory, and by empirical generalization from international history...