Logic

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an introduction to classical logic, with an approach that emphasizes both the hows and whys of logic. It covers the formal tools and techniques of logic.