Deducción Natural
Sesión 3: Deducción Natural
Faraón Llorens Largo
5 de octubre de 2015
Bloque: Lógica
Asignatura: Matemáticas I
Grado en Ingeniería Multimedia (http://www.eps.ua.es/ingenieria-multimedia)
Universidad de Alicante
Sesión 3: Deducción Natural
Faraón Llorens Largo
5 de octubre de 2015
Bloque: Lógica
Asignatura: Matemáticas I
Grado en Ingeniería Multimedia (http://www.eps.ua.es/ingenieria-multimedia)
Universidad de Alicante