Presents two essential and apparently unrelated subjects that include, microlocal analysis and the theory of pseudo-differential operators, a basic tool in the study of partial differential equations and in analysis on manifolds, and the Nash-Moser theorem, that is fundamentally important in geometry, dynamical systems, and nonlinear PDE.