O presente dicionario apresenta ao leitor um glossario de conceitos usados em logica formal e principios matematicos. As definicoes que nele figuram constam dos rudimentos da logica, numa obra destinada a ser um guia de consulta, para quem estuda os diver