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 Grupo Editor.
Chicago Style (17th ed.) CitationLedesma, Luis de. Lógica Para La Computación: Teorías De Primer Orden, Resolución Y Elementos De Programación Lógica Y Prolog. México, D. F.: Alfaomega Grupo Editor, 2010.
MLA (9th ed.) CitationLedesma, 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 Grupo Editor, 2010.
Warning: These citations may not always be 100% accurate.