This is a textbook introducing selected topics in formal social choice theory. Social choice theory studies group choices that are based on information about preferences of members of the group (voting rules being one important special case). This involves economics, which provides the method of...