TY  - RPRT
TI  - The basis of Boole's logical calculus
AU  - Giovanna Corsi
AU  - Guido Gherardi
PY  - 2017
UR  - https://arxiv.org/abs/1710.01542
ID  - 1710.01542
ER  -