Logic in computer science has to fulfil several tasks. First of all, it is a tool with which computer programs can describe the world. Logic is used for databases or for creating artificial ...

Mathematical logic was initially considered a hopelessly abstract subject with no conceivable applications ... A well-known history of computer science describes Shannon’s paper as “possibly ...