Export
APA
Pinto, Pedro Miguel dos Santos, (2019). Proof mining with the bounded functional interpretation. http://hdl.handle.net/10451/42661 Ferreira, Fernando Jorge Inocêncio,
IEEE
Pinto, Pedro Miguel dos Santos, "Proof mining with the bounded functional interpretation", 2019.
BIBTEX
@PhdThesis{51878,
author = {Pinto, Pedro Miguel dos Santos},
title = {Proof mining with the bounded functional interpretation},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2019},
OPTtype = {Documentos Académicos}
}