Descrição:

O estudante adquirirá uma competência sólida básica em lógica matemática através de resultados "standard" da disciplina.