Ledesma, L. d. (2010). Lógica para la computación: Teorías de primer orden, resolución y elementos de programación lógica y PROLOG. Alfaomega.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Ledesma, Luis de. Lógica Para La Computación: Teorías De Primer Orden, Resolución Y Elementos De Programación Lógica Y PROLOG. Cuernavaca: Alfaomega, 2010.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Ledesma, Luis de. Lógica Para La Computación: Teorías De Primer Orden, Resolución Y Elementos De Programación Lógica Y PROLOG. Alfaomega, 2010.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.