Sinopsi de Glossário da Lógica

El 'Glossário da Lógica' es un diccionario temático que presenta un glosario de términos utilizados en lógica formal y principios matemáticos. Las definiciones incluyen desde los rudimentos de la lógica hasta designaciones propias de la teoría de conjuntos y modelos, o de la teoría de la computación. También incluye breves enunciaciones de determinados resultados y una tabla de símbolos lógicos empleados en la teoría de los conjuntos y en las lógicas proposicional, predicativa y modal. Los términos y conceptos se encuentran ordenados alfabéticamente, con títulos remissivos para facilitar la localización de los asuntos.