@BOOK{libro-logica,
  editor =       {Hortal\'a Gonz\'alez, Teresa and Mart{\'\i} Oliet, Narciso and
                  Palomino Tarjuelo, Miguel and Rodr{\'\i}guez Artalejo, Mario
                  and del Vado V{\'\i}rseda, Rafael},
  title =        {L\'ogica Matem\'atica para Inform\'aticos. Ejercicios
                  resueltos},
  publisher =    {Pearson},
  year =         2008,
  series =       {Prentice Educaci\'on}
}