This is an updated and expanded second edition of a successful and well-reviewed text presenting a detailed exposition of the modern theory of supermanifolds, including a rigorous account of the super-analogs of all the basic structures of ordinary manifold theory. The exposition opens with the theory of analysis over supernumbers (Grassman variables), Berezin integration, supervector spaces and the superdeterminant. This basic material is then applied...