Sinopse
O presente dicionário apresenta ao leitor um glossário de termos usados em lógica formal e princípios matemáticos. As definições que nele figuram constam dos rudimentos da lógica; designações próprias da teoria dos conjuntos e modelos, ou da teoria da computação. Incluem-se breves enunciações de determinados resultados. Foi igualmente incluída uma tabela de símbolos lógicos empregues na teoria dos conjuntos e nas lógicas proposicional, predicativa e modal.