Prova de Doutoramento "Proof mining with the bounded functional interpretation"
Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation".
Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation".