Apresenta tópicos centrais da lógica matemática e simbólica com foco em estruturas formais e métodos de prova, indicado para leitores com formação em filosofia, matemática ou ciência da computação.

Aborda conceitos como dedução, teoria de conjuntos e sistemas formais, oferecendo exemplos e exercícios que ilustram procedimentos de demonstração e construção de argumentos formais.

Útil como material de apoio em cursos de lógica e disciplinas relacionadas, servindo também como referência para pesquisadores e profissionais que trabalham com fundamentos formais.