Babbage et Boole : les lois du calcul symbolique

M. – J. Durand-Richard, “Babbage et Boole : les lois du calcul symbolique”, Intellectica, vol. 39, no. 2, pp. 23-53, 2004.