Statistical mechanics : Rigorous results - Ruelle, David, 1935- (Mathematical physics monograph series / A.S. Wightman ;, 1974)