This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science.