The Journal History and Philosophy of Logic (Taylor & Francis) is publishing a Special Issue on “Logical Issues in the History and Philosophy of Computer Science”, edited by Liesbeth De Mol and Giuseppe Primiero. The issue contains articles presented at various HaPoC Events. The contents are all online now:
Liesbeth De Mol, Giuseppe Primiero
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
http://dx.doi.org/10.1080/01445340.2015.1084183
Edgar G. Daylight
Towards a Historical Notion of ‘Turing—the Father of Computer Science’
DOI:10.1080/01445340.2015.1082050
Selmer Bringsjord
A Vindication of Program Verification
DOI:10.1080/01445340.2015.1065461
Maarten Bullynck
Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming
DOI:10.1080/01445340.2015.1065459
Graham White
Hardware, Software, Humans: Truth, Fiction and Abstraction
DOI:10.1080/01445340.2015.1059992
Felice Cardone
Continuity in Semantic Theories of Programming
DOI:10.1080/01445340.2015.1054576