THE CLOSED TIME PATH GREEN'S FUNCTION FORMALISM IN MANY BODY THEORY