An Introduction to logic - Joseph, W B. (Surjeet publications, 1997)