This is an introduction to nonlinear functional analysis, in particular to those methods based on differential calculus in Banach spaces. It is in two parts; the first deals with the geometry of Banach spaces and includes a discussion of local and global inversion theorems for differentiable mappings. In the second part, the authors are more concerned with bifurcation theory, including the Hopf bifurcation. They include plenty of motivational and illustrative applications, which indeed provide much of the justification of nonlinear analysis. In particular, they discuss bifurcation problems...