851-0173-00L  History of Formal Logic: The Emergence of Boolean Logic