Ayuda para comprar un libro

Hola,

En febrero me apuntaré a la universidad para hacer ing. informática y estaría interesado en comprar un libro para la asignatura "Introducción a la lógica".

Alguien puede aconsejarme un libro para ponerme a estudiar?.

Gracias!!!