Logic for mathematicians - 391265 Hamilton, A. G. (Cambridge : Cambridge Univ. Pr., 1988)
41