Lógica matemática para informáticos : - Hortalá, González, Teresa; Martí Oliet, Narciso; Palomino Tarjuelo, Miguel; Rodríguez Artalejo, Mario; Vado Vírseda, Rafael del (Pearson Educación, 2026)