BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
PhD thesis

Title
Proof-theoretical studies on the bounded functional interpretation

Participants in the publication
Engrácia, Patrícia da Conceição Martins (Author)
Ferreira, Fernando (Adviser)
Dep. Matemática
 CMAFcIO
Date of Publication
2009

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers


Export

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} }