When logic meets engineering: introduction to logical issues in the history and philosophy of computer science
Résumé
This paper introduces how logic is connected to computer science and gives an overview of some of the main sources. It is intended as an introduction a to a journal special issue on the history and philosophy of logic in computer science.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...