Pseudo-differential Operators and the Nash-Moser Theorem (Graduate Studies in Mathematics)