Logic : an introduction to elementary logic - Hodges, Wilfrid (Penguin Philosophy, 1991)