Text this: Fundamentals of Symbolic Logic