This first edition of this book quickly became an established text in this fast-developing branch of mathematics. This second edition has been significantly revised and expanded. It includes a section on new developments and an expanded discussion of Taubes' and Donaldson's recent results.