Machine generated authority record

Work cat.: (OSt)276166: De Ledesma, Luis, Lógica para la Computación : Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog