Lògica y Algoritmos
/ Robert, R. , Korfhage
- 5 ta.
- Mèxico Limusa 1969
- p. 222 graf,ilu. 23 x 15 cm.
Conjuntos,relaciones y mapeos - algebras 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.