Aunque este libro es algo antiguo, es aconsejable la lectura de los capítulos de la segunda y tercera partes (páginas 95 a282). El capítulo 3 de la tercera parte: "Principios lógicos: Álgebra conmutativa", trata del álgebra de Boole y de puertas y circuitos lógicos.

FERNÁNDEZ, G. ; SÁEZ VACAS, F. .- " Fundamentos de los Ordenadores.( II - Elementos de metateoría)".- Publicaciones ETSIT - Madrid 1982

Este libro ha sido un clásico en facultades y escuelas universitarias de informática e ingeniería. Todo el libro trata de lógica, álgebra de Boole, puertas lógicas, autómatas finitos, minimización de expresiones booleanas, etc.

En esta página de la Universidad de St. Andrews (Escocia) aparece una pequeña bibliografía de George Boole y presenta enlaces a otras páginas sobre dicho matemático. (En inglés)

http://www.inf.ufsc.br/ine5365/clteoria.html

Esta página, de una universidad brasileña, introduce el álgebra de Boole y las puestas lógicas, entre otros temas. A pesar de estar en portugués, su lectura no resulta difícil en exceso.

http://www.williamson-labs.com/480_logic.htm

Esta página presenta algunas animaciones muy curiosas y didácticas sobre posibles modelos físicos para las puertas lógicas. Vale la pena echarle un vistazo (en inglés).