Introduction and Overview: Goals and Structure of LOGIC