Este libro, fundamentalmente destinado a hombres de empresa, ingenieros, técnicos en computación y matemáticos, presenta un panorama unificado de la teoría y aplicaciones de la lógica moderna y los algoritmos y técnicas del cálculo programado. En su desarrollo, el autor parte del principio de que el usuario y el diseñador de computadoras deben temer algún conocimiento, tanto de lógica como de teoría de algoritmos. Debidoa ello, el lector encuentra una exposición, tan clara como concisa, de temas tales como: Algebra Booleana, Cálculo Proposicional, Algoritmos y Computadoras, Cálculo de Predicados, y otros temas. El autor finaliza con una breve presentación de los desarrollos más recientes de la teoría de los lenguajes formales en relación con los lenguajes de las computadoras y los problemas de la traducción mecánica de las lenguas naturales.