Email Record: Mathematical logic for computer science /