Modern logic is the foundational discipline of the information sciences.
It includes not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. It spreads into planning, into program synthesis, into circuit design and into discourse analysis. It underpins the entire science of artificial intelligence. Part mathematics, part philosophy and these days part computing science, logic remains a core intellectual study and is increasingly relevant to practical concerns. Teachers - the Summer School is an excellent refresher course for anyone who teaches logic, whether in computing, mathematics or philosophy.