Logic for mathematicians /
Hamilton, Alan G.
Cambridge : Cambridge University Press,
1988.