Email Record: Algebraic methods of mathematical logic /