Lógica y algoritmos.
- Primera Edición
- México ,Editorial Limusa-Wiley, S.A. .1970
- 222 páginas figuras 23 cms.
Conjuntos, relaciones y mapeos. Álgebra booleanas. El cálculo proposicional. Una visión de los vectores binarios. Algoritmos y máquinas computadoras. El cálculo de predicados de primer orden. Lenguajes formales. Una breve historial.