This book presents the classical theorems about simply connected smooth 4-manifolds: intersection forms and homotopy type, oriented and spin bordism, the index theorem, Wall's diffeomorphisms and h-cobordism, and Rohlin's theorem. Most of the proofs are new or are returbishings of post proofs; all are geometric and make us of handlebody theory. There is a new proof of Rohlin's theorem using spin structures. There is an introduction to Casson handles and Freedman's work including a chapter of unpublished proofs on exotic R4's. The reader needs an understanding of smooth manifolds and characteristic classes in low dimensions. The book should be useful to beginning researchers in 4-manifolds.

Since Poincare's time, topologists have been most concerned with three species of manifold. The most primitive of these--the TOP manifolds--remained rather mysterious until 1968, when Kirby discovered his now famous torus unfurling device. A period of rapid progress with TOP manifolds ensued, including, in 1969, Siebenmann's refutation of the Hauptvermutung and the Triangulation Conjecture. Here is the first connected account of Kirby's and Siebenmann's basic research in this area. The five sections of this book are introduced by three articles by the authors that initially appeared between 1968 and 1970. Appendices provide a full discussion of the classification of homotopy tori, including Casson's unpublished work and a consideration of periodicity in topological surgery.