Machine generated authority record.

Work cat.: (OSt): Korfhage, Robert R., Lógica y algoritmos con aplicaciones a las ciencias de la computación e información, 1982