A computational approach to George Boole's discovery of mathematical logic
computational model of Boole's discovery of logic as a part of mathematics
scientific article; zbMATH DE number 1178853
scientific article