Einschreibeoptionen
Desenvolver a lógica de 1 ordem clássica, incluindo os teoremas da completude e da incompletude de
Gödel. Desenvolver exemplos em teorias matemáticas concretas.
- Docente: Rogerio Augusto dos Santos Fajardo
Gäste können auf diesen Kurs nicht zugreifen. Melden Sie sich bitte an.