Bibliografía
Aquí encontrarás referencias bibliográficas del curso
Existen muchas referencias para cubrir el temario del curso, aquí se dejan algunas sugerencias.
Se proporcionarán notas-resumen con los contenidos revisados en las sesiones teóricas (se pueden consultar acá)
Se pueden consultar algunos libros en formato electrónico desde el Servicio de Acceso Remoto a las colecciones digitales de la Dirección General de Bibliotecas, se deben registrar en https://www.bidi.unam.mx/index.php
Mordechai Ben-Ari. Mathematical logic for computer science. Libro electrónico. Springer, 2012 recurso en línea, Base de datos: LIBRUNAM
Hedman S., A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity Oxford University Press, 2004.
Nerode A., Shore R., Logic for applications, Springer. [QA76.63 N47]
Burris, Stanley, Logic for mathematics and computer science, Prentice Hall. [QA9 B876]
Huth M., Ryan M., Logic in computer science : modelling and reasoning about systems, Cambridge University Press.
Goranko V., Conradie W., Logic and Discrete Mathematics: A Concise Introduction, Wiley