Free introduction to formal logic textbook available as PDF

Peter Smith's "An Introduction to Formal Logic" (2020 edition) is freely available as a PDF at logicmatters.net. The textbook provides a foundational introduction to formal logic for students and self-learners.