Lógica y algoritmo : con aplicaciones a las ciencias de la computación e información - Korfhage, Robert B (Noriega/Limusa, 1990)