Logic for mathematicians - Hamilton, A. G. (Cambridge Cambridge University Press, 1978)
Keywords: Logic, Symbolic and mathematical