Logic and its applications : - Blass, Andreas, 1947-; Zhang, Yi, 1964- (Contemporary mathematics (American Mathematical Society), 2005)