Logic, Programming, and Computer Science: Local Perspectives

The articles in this special section offer a new perspectives on the question of how and why logic became intertwined with computing and programming. It focuses on the locality of programming and computing practices, highlighting their relation to formalist practices and concepts to provide a deeper understanding of the historical relations between these different practices. The theoretical and technical considerations that tie logic and computing together have been historically contingent on the local and national structures inwhich they unfold.