Lógica computacional (MARTÍN RUBIO, FERNANDO / PANIAGUA ARIS, ENRIQUE / SÁNCHEZ GONZÁLEZ, JUAN LUÍS)