Learning to reason an introduction to logic, sets, and relations - Rodgers, Nancy (Wiley, 2000)