Bibliografía

• Huth M., Ryan M. Logic in Computer Science, modelling and reasoning about systems. 2nd Edition, Cambridge University Press, 2004.


• Ben-Ari M. Mathematical Logic for Computer Science. 2nd Edition, 3rd corrected printing. Springer, 2008.


• Nerode A., Shore R.A. Logic for Applications. 2nd. Edition. Graduate Texts in Computer Science. Springer, 1997.


• Notas del curso de lógica computacional impartido por el prof. Favio E. Miranda Perea. El vínculo es éste.