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