Logic for Mathematicians - Hamilton, A. G. 1943- (Cambridge University Press, 1990)