Logic and algebra (American Mathematical Society, 2002)