The Laws of Boole's Thought - http://www.math.uwaterloo.ca/~snburr...
Boolean algebra wasn't. - Michael Nielsen