George Boole, a Forerunner of Symbolic Computation | Publicación