Logic and its applications - Blass, Andreas; Zhang, Yi, 1964 Aug. 22- (Contemporary mathematics, 2005)