Lógica para la computación I - Aguilera Venegas, Gabriel ([s.n], 1993)