Elementos de lógica simbólica y teoría de conjuntos con aplicaciones a ciencias de la computación - Flores Rivas, José Luis. (Universidad Centroamericana José Simeón Cañas, 1988)