Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
---|---|---|---|---|---|
7-Aug-2019 | 28-Jan-2019 | A demanda por demonstrações de consistência nos fundamentos da matemática | Ramos, Luiza Silva Porto | Freire, Rodrigo de Alvarenga | - |
20-Aug-2024 | 30-Mar-2023 | Sistemas formais como formalizações de conceitos : da desinterpretação aos resultados limitativos | Maia, Mateus de Carvalho | Freire, Rodrigo de Alvarenga | - |