Introduction to logic - Jason, Gary (Jones and Bartlett, 1994)