Boole, G.

The mathematical analysis of logic - 1965. 82 - Basil Blackwell. Oxford