Lógica Formal

Abstract

Diapositivas para seguir un curso de 6 ects de Lógica Formal dividido en cuatro bloques: uno introductorio, dos dedicados a lenguajes formales de orden cero y primer orden y uno dedicado a filosofía de la lógica y, especialmente a la axiomática estándar de conjuntos con una introducción a ZFC para alumnos del Grado de Filosofía