Deborah Bennett "Logic Made Easy"