|کد مقاله||کد نشریه||سال انتشار||مقاله انگلیسی||ترجمه فارسی||نسخه تمام متن|
|4661642||1344852||2016||11 صفحه PDF||ندارد||دانلود رایگان|
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.
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 10, October 2016, Pages 868–878