Descripción de la asignatura: Introducción a los cálculos lógicos y a los métodos formales (lógica clásica de primer orden).
Profesores que la imparten: Paloma Pérez-Ilzarbe (pilzarbe@unav.es)
Departamento: Filosofía     Facultad: Filosofía y Letras
Curso: primero
Créditos: 3
Titulación: Grado en Filosofía
Módulo: Lógica, epistemología y comunicación
Materia: Lógica y comunicación
Organización temporal: semestral (segundo semestre)
Tipo de asignatura: obligatoria
Idioma en que se imparte: español