Authors: Laita, LM de Ledesma, L Roanes-Lozano, E Perez, A Brunori, A

Citation: Lm. Laita et al., Boole's logic revisited from computer algebra, MATH COMP S, 51(5), 2000, pp. 419-439