Logic in computer science is a branch of applied logic which contains:
- Those investigations into logic that are guided by applications in computer science;
- Fundamental concepts in computer science that are naturally expressible in logical form;
- Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic .
