Dos precursores de la lógica algorítmica | lit.salon