Lógica para ciencia de la computación - Bertossi D., Leopoldo (Colección Textos Universitarios, 1995)