Logic : Wilfrid Hodges; An Introduction to Elementary Logic - HODGES, Wilfrid (Penguin Books, 1977)