Logic & suy luận phổ thông
George Boole và đại số của tư duy: từ logic tới máy tính
George Boole viết logic thành đại số trong các sách năm 1847 và 1854, với quy luật x nhân x bằng x. Năm 1937 Claude Shannon dùng nó cho mạch điện, nền móng của