Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata

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, November 3, 2020 - 9:54:03 AM
Long-term archiving on: : 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

462

Files downloads

498