Description:The dramatic increase in research in recent years shows that logic is now widely recognized as one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intellige