When logic meets engineering: introduction to logical issues in the history and philosophy of computer science

Abstract : 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.
Type de document :
Article dans une revue
History and Philosophy of Logic, Taylor & Francis, 2015, 36 (3), pp.195-204. 〈10.1080/01445340.2015.1084183〉
Liste complète des métadonnées

Littérature citée [47 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01358879
Contributeur : Liesbeth De Mol <>
Soumis le : vendredi 2 septembre 2016 - 15:18:13
Dernière modification le : mardi 3 juillet 2018 - 11:41:17
Document(s) archivé(s) le : dimanche 4 décembre 2016 - 17:32:35

Fichier

intro_HPL_own (1).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Liesbeth De Mol, Giuseppe Primiero. When logic meets engineering: introduction to logical issues in the history and philosophy of computer science. History and Philosophy of Logic, Taylor & Francis, 2015, 36 (3), pp.195-204. 〈10.1080/01445340.2015.1084183〉. 〈hal-01358879〉

Partager

Métriques

Consultations de la notice

316

Téléchargements de fichiers

199