Introducción a la lógica moderna

Páez, Andrés - Bogotá : Uniandes - 2010
Incluye apéndice y referencias bibliográficas

Conceptos básicos de la lógica -- Introducción a la lógica proposicionaL -- Semántica del lenguaje LP -- Arboles de verdad de LP -- Deducción natural en LP -- Introducción a la lógica de predicados -- Semántica del lenguaje LC -- Árboles de verdad de LC -- Deducción natural en LC -- Introducción a la lógica modal -- Arboles de verdad modales -- Deducción natural modal.