Logic for mathematicians - Hamilton, A G 1943- (Cambridge University Press, 1988)