Machine generated authority record

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