Logic for mathematicians - Hamilton, Alan G. (Cambridge Univ. Pr., 1990)