Boole's Method I. A Modern Version
arXiv:1404.0784
Abstract
A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.
arXiv:1404.0784
A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.