http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Preliminares -- Teoría de conjuntos - Primeras nociones de lógica -- Lógica proposicional - Lenguaje formal proposicional -- Semántica formal: la consecuencia proposicional -- Cálculos deductivos: la deductibilidad proposicional -- Lógica de predicados -- Lenguaje formal cuantificaciones -- Semántica formal: la consecuencia cuantificaciones -- Cálculos deductivos: la deductibilidad cuantificaciones
Mario Alberto Lozano González, Adriana Pérez Armendáriz.
Incluye referencias bibliográficas e índice analítico