A rigorous, yet accessible introduction to the field of logic, this book provides students with a unique insight into logic as a living field and how it connects to other fields of inquiry including philosophy, computer science, linguistics, and mathematics.