It is too bad this book is out of print, for it introduces the reader to a fascinating branch of topology and has the clearest proof of the 4-dimensional Poincare conjecture. In addition, the authors do not hesitate to employ diagrams as needed to illustrate the main points and to assist the reader in visualizing 4-dimensional objects. The authors give a fine discussion as to the reasons why four dimensions is harder to deal with topologically than dimensions five or greater, this being essentially due to the behavior of 2-dimensional disks: mapping 2-disks into 3-manifolds results (generically) with 1-dimensional self-intersections; in 4-dimensions the intersections are isolated points, and in 5 dimensions or more the 2-disks can be embedded.
Interestingly, the authors choose not to employ the famous "Kirby calculus" in the proofs of the main results, despite the fact that it was used extensively in their earlier works. They break the book into two parts, the first one emphasizing embedding theorems and the second one the structure of manifolds. Those readers interested in the proof of the 4-dimensional Poincare conjecture will find it in chapter 7, as a consequence of the authors proof of the h-cobordism theorem, the latter being nontrivial. It is the absence of a smooth structure on the h-cobordism that makes it so difficult in dimension four.
The existence of exotic structures on 4-manifolds is discussed in detail in chapter 8 and the authors endeavor to show why dimension 4 is unique compared to higher dimensions. The existence of exotic structures on 4-manifolds is definitely interesting, and has recently been shown to have importance in physics. But physicists who need an explicit example of one of these structures will not find one here, and I know of no such examples in the literature. Such an example would be interesting from the standpoint of the behavior of quantum field theories on such 4-manifolds, as one would like to know if this behavior would indeed be different than that on the manifold with the "standard structure".