Combines a theoretical interest in the mathematics of voting procedures with practical interest in the circumstances in which votes are cast. The most important results in the theory of voting are surveyed, and the differences between the principal types of voting procedures are explained.