Logic - Hodges, Wilfrid (Penguin, 1977)