Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661642 | Annals of Pure and Applied Logic | 2016 | 11 Pages |
Abstract
This is a survey of some of the many interactions between mathematical logic and computer science. The general theme is that mathematical logic provides tools for understanding and unifying topics in computer science, while computer science provides new ways of looking at logical issues and underlines the importance of areas of logic that might otherwise have been neglected.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Andreas Blass,