Deseo agradecer la colaboración y el apoyo de los compañeros que han impartido o imparten la asignatura de lógica: Eduardo Fernández-Medina, Mar Jiménez y Ramón Manjavacas. Un especial recuerdo en este momento para Jose Ángel Olivas que participó en los inicios de este proyecto y que, lamentablemente, otras obligaciones profesionales le han impedido colaborar en la elaboración de este libro. Sus opiniones han sido muy valiosas y de ellas se ha beneficiado este texto. Algunos ejercicios sobre deducción natural son de su autoría y cedidos desinteresadamente. También deseo reconocer la aportación de Serafín Benito, ya que su lectura atenta de algunos capítulos ha servido para detectar y solucionar algunos errores introducidos inadvertidamente. Ginés Moreno ha revisado el Capítulo 8 y Jaime Penabad ha revisado el Capítulo 9, aportando extensos comentarios. Desde estas páginas mi más sincero agradecimiento a todos ellos.
Finalmente, quisiera agradecer a Nieves su paciencia continua, su comprensión
y apoyo, sin los que no hubiese sido posible escribir este libro.