Logic - Hodges, Wilfrid, 1941- (Penguin, 1991)