Ejercicios de "Lógica matemática y fundamentos" (2013-14)

Los ejercicios se dividen en dos tipos: