Logic for mathematicians - Hamilton, A.G. (Cambridge University Press, 1978)