Bibliografía

El material presentado en clase se obtiene de alguna de las siguientes referencias.

• Huth M., Ryan M. Logic in Computer Science, modelling and reasoning about systems. 2nd Edition, Cambridge University Press 2004.
• 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.
• Ben-Ari M. Mathematical Logic for Computer Science. 2nd Edition, 3rd corrected printing. Springer 2008.