Entrar
Esta asignatura introduce al alumno en el concepto de lógicas no estándar y presenta algunas de las lógicas no estándar principales