This textbook gives a comprehensive introduction to mathematical logic using modern conventions and perspectives, while emphasizing connections with the rest of mathematics. With a wealth of exercises, examples, and further reading, it is suitable for a variety of courses for upper-level undergraduates and beginning graduate students.