REC3304 - Introdução à Lógica Matemática (2020)

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