Fundamentos de informática

Es un manual clásico y muy completo de fundamentos teóricos de la informática, orientado a estudiantes universitarios. Según el índice de contenidos, cubre ideas generales, lógica de proposiciones, circuitos lógicos combinacionales, otras lógicas, autómatas finitos, algoritmos y máquina de Turing, entre otros temas. Es decir, aborda las bases matemáticas y lógicas de la computación (álgebra de Boole, teoría de autómatas, computabilidad) más que la programación práctica — un libro de fundamentos teóricos típico de las carreras de Informática de finales de los 80.