Logic - Hodges, Wilfrid (Penguin Books, 1977)