An introduction to logic - Joseph, H.W.B. (Surjeet Pub., 1997)