Email Record: Mathematical logic / Ian Chiswell and Wilfrid Hodges.