Lógica para informática

El libro es para Informática, pero orientado a informáticos y no informáticos, ya que la lógica forma parte de planes de estudio no solo de informática y matemáticas.