Metrics on the Phase Space and Non-Selfadjoint Pseudo-Differential Operators

This book contains a thorough exposition of pseudodifferential calculus defined by metrics on the phase space. It contains a proof of the Nirenberg-Treves conjecture and a construction of counterexamples to "optimal" solvability under condition (psi).