1
by Godement, Roger
Published 2017
Springer International Publishing
... introduced to Lie theory. Written by a master of the subject and influential member of the Bourbaki group...

2
by Serre, Jean-Pierre
Published 1987
Springer New York
..., and the proofs can be found in Bourbaki, Groupes et Algebres de Lie, Paris, Hermann, 1960-1975, Chapters IV-VIII...