Logic - Hodges, Wilfrid (Penguin, 2001)