Set242019 Localização Sala 6.2.56, FCUL, Lisboa Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation". Horário 14h30 Anexos Edital Tags 3.º Ciclo Doutoramento Provas Académicas Matemática Álgebra Lógica e Fundamentos