fbpx Proof mining with the bounded functional interpretation | ULisboa

Proof mining with the bounded functional interpretation

Tipo 
Doutoramento
Candidato 
Pedro Miguel dos Santos Pinto
Título 
Proof mining with the bounded functional interpretation
Escola 
Faculdade de Ciências
Data e Hora 
24/09/2019 - 14:30
Local 
Faculdade de Ciências
Ramo / Especialidade 
  • Matemática
  • Álgebra, Lógica e Fundamentos
Edital 
PDF icon
Nomeação do Juri 
PDF icon