A formal treatment of game theory and its microeconomic applications is presented. Equilibrium concepts for static and dynamic games, and games with complete and incomplete information are studied. Topics also discussed: the relation between games in strategic form and games in extensive form, equilibrium refinement, Bayesian games, multi-dimensional mechanism design, dominant strategy and Bayesian implementation, Nash-in-Nash bargaining solutions.