notes-math-algebraicLogic
links
http://boole.stanford.edu/cs353/handouts.html
(highly recommended)