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 Deducción natural from Faraón Llorens