The genesis of Boole's logic: its history and a computer exploration