Seminário: The Bounded Functional Interpretation in Proof Mining

Orador Convidado:

Bruno Dinis
(bmdinis@fc.ul.pt)
University of Lisbon, Department of Mathematics and CMAFcIO, Portugal

 

Resumo:
Em anexo.

Em 21.11.2018
15:00 | CLAV - Anfiteatro 1
Anexos