Boole's Method I. A Modern Version
  A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder. 
Stanley Burris, H.P. Sankappanavar
math.LO math.HO