Systems of logic
Martin, Norman M.
Cambridge : Cambridge University Press,
1989.
Logic.