An undergraduate text suitable for courses in symbolic logic. This title offers coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn't presuppose any background in logic or maths, and derivation strategies are illustrated with examples.