Logic for Computer Science - Reeves, Steve (Addison-Wesley, 1990)
Este libro es una introducción a los fundamentos de la Lógica para los interesados en programación computacional.