This book can be viewed as two different texts: one constitutes an introduction to the theory of mechanism design and the other is a treatment of welfare economics with conventional emphasis on Pareto optimality as well as providing substantial material on incentives, uncertainty, and existence of equilibrium.