Laita, Luis M.; de Ledesma, L.; Roanes-Lozano, Eugenio; … - In: Mathematics and Computers in Simulation (MATCOM) 51 (2000) 5, pp. 419-439
The article deals with computer algebra emulation and generalization of the main ideas that were the basis of Boole’s logic, as they were produced by him, and not as they were frequently misinterpreted in the history of Logic. The article begins with a historical account of the genesis of...