Introduction to formal analysis of recent work in political science. Focus on a number of important theorems and their proofs drawn from such areas as bargaining, deterrence, public goods, collective choice, electoral politics, and new institutionalism. Students will in the process be expected to begin work on formal proofs of their own. Prerequisite: one course in game theory.