“When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science”, History and Philosophy of Logic, pp. 1-10, 2015. http://dx.doi.org/10.1080/01445340.2015.1084183
,“When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science”, History and Philosophy of Logic, pp. 1-10, 2015. http://dx.doi.org/10.1080/01445340.2015.1084183
,