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.