Lógica y algoritmos, con aplicaciones a las ciencias de la computación e información - Korthage, Robert R., (Limusa, 1970)