Browsing by Advisor Hofmann, Dirk
Showing results 6 to 8 of 8
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
2010 | Lógica proposicional via Lindenbaum-Tarski e Curry-Howard | Albuquerque, Hugo Cardoso | masterThesis | |
22-Jul-2021 | Problema inverso de Galois: da irredutibilidade de Hilbert ao método de rigidez | Mendonça, João Ricardo Anjos de Sousa Galego | masterThesis | |
2014 | Topology via enriched categories | Reis, Carla David | doctoralThesis |