Boole's Method I. A Modern Version
Logic
2014-04-04 v1 History and Overview
Abstract
A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.
Cite
@article{arxiv.1404.0784,
title = {Boole's Method I. A Modern Version},
author = {Stanley Burris and H. P. Sankappanavar},
journal= {arXiv preprint arXiv:1404.0784},
year = {2014}
}