Text this: Introduction to logic.