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.
Liste complète des métadonnées

Cited literature [47 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01358879
Contributor : Liesbeth de Mol <>
Submitted on : Friday, September 2, 2016 - 3:18:13 PM
Last modification on : Tuesday, July 3, 2018 - 11:41:17 AM
Document(s) archivé(s) le : Sunday, December 4, 2016 - 5:32:35 PM

File

intro_HPL_own (1).pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

326

Files downloads

215