Text book of logic - Wolf, A. (Surjeet publications, 1978)