Lógica para la computación : - Ledesma, Luis de (Alfaomega Grupo Editor, 2026)