Logic for mathematicians - Hamilton, E. G. (Campbridge university press, 1988)