Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects …
