Text this: Introduction to logic - M. Cop Irving