The book gives a systematic exposition of the diverse ideas and methods in the area, from algebraic topology of manifolds to invariants arising from quantum field theories. The main topics covered include: constructions and classification of homology 3-spheres, Rokhlin invariant, Casson invariant and its extensions, and Floer homology and gauge-theoretical invariants of homology cobordism. Many of the topics covered in the book appear in monograph...