Email Record: An introduction to modern logic ;