Exportar referência
APA
Engrácia, Patrícia da Conceição Martins, (2009). Proof-theoretical studies on the bounded functional interpretation . Ferreira, Fernando,
IEEE
Engrácia, Patrícia da Conceição Martins, "Proof-theoretical studies on the bounded functional interpretation ", 2009.
BIBTEX
@PhdThesis{58614,
author = {Engrácia, Patrícia da Conceição Martins},
title = {Proof-theoretical studies on the bounded functional interpretation },
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2009},
OPTtype = {Documentos Académicos}
}