Lógica y algoritmos : con aplicaciones a las ciencias de la computación e información /
Robert R. Korfhage ; traducción Federico Velasco C.
- México : Limusa, 1985.
- 222 páginas ; 23 cm.
Incluye índice
Conjuntos, relaciones y mapeos. -- Algebras booleanas. -- El círculo proposicional. -- Una visión de los vectores binarios. -- Algoritmos y máquinas computadoras. -- El cálculo de predicados de primer orden, etc.