Doutoramento em Matemática - Especialidade de Álgebra, Lógica e Fundamentos

Prova de Doutoramento "Proof mining with the bounded functional interpretation"