Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:
-Theoretical foundations and analysis
-Use of computer technology to aid logicians
-Use of concepts from logic for computer applications
