Introdução à Lógica Matemática - 2019

Apresentar de forma clara e explícita os princípios subjacentes à construção de demonstrações matemáticas.