TY - BOOK AU - Korfhage R.,Robert TI - Lògica y Algoritmos SN - ISBN 9681808207 U1 - 005.131 PY - 1969/// CY - Mèxico PB - Limusa N1 - 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 ER -