Email Record: Classics in logic ;