Read
Ejercicios Lmf 2011 12
Ejercicios de “Lógica matemática y fundamentos” (2011–12) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Sevilla, 12 de Febrero de 2012