Title from publisher's bibliographic system (viewed on 05 Oct 2015).

Locally integrable structures -- The Baouendi-Treves approximation formula -- Sussmann's orbits and unique continuation -- Local solvability of vector fields -- The FBI transform and some applications -- Some boundary properties of solutions -- The differential complex associated with a formally integrable structure -- Local solvability in locally integrable structures -- Hardy space lemmas.

Detailing the main methods in the theory of involutive systems of complex vector fields this book examines the major results from the last twenty five years in the subject. One of the key tools of the subject - the Baouendi-Treves approximation theorem - is proved for many function spaces. This in turn is applied to questions in partial differential equations and several complex variables. Many basic problems such as regularity, unique continuation and boundary behaviour of the solutions are explored. The local solvability of systems of partial differential equations is studied in some detail. The book provides a solid background for others new to the field and also contains a treatment of many recent results which will be of interest to researchers in the subject.