A Science of Operations : machines, logic and the invention of programming - Priestley, Mark Peter (London : Springer, 2011)
Keywords: LENGUAJES DE PROGRAMACION (COMPUTADORAS ELECTRONICAS) -- HISTORIA; LÓGICA, SIMBÓLICA Y MATEMÁTICA; LOGICA COMPUTACIONAL