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