TY - BOOK AU - Boole, G. TI - The mathematical analysis of logic PB - Basil Blackwell. Oxford ER -