TY  - RPRT
TI  - Boole's Principles of Symbolical Reasoning
AU  - Stanley Burris
AU  - H. P. Sankappanavar
PY  - 2014
UR  - https://arxiv.org/abs/1412.2953
ID  - 1412.2953
ER  -