View source for Logic in computer science

'''Logic in computer science''' covers the overlap between the fields of [[logic]] and [[computer science]].

== Description ==

The topic has three main areas:

* Theoretical foundations and analysis
* Use of computer technology to aid logicians
* Use of concepts from logic for computer applications

== See also ==

* [[Automated theorem proving]]
* [[Computational logic]]
* [[Computer science]]
* [[Logic]]
* [[Logic programming]]
* [[Mathematical logic]]
* [[Three-valued logic]]

== External links ==

* [https://en.wikipedia.org/wiki/Logic_in_computer_science Logic in computer science] @ Wikipedia