Boole’s logic revisited from computer algebra | Publicación