Etiqueta de registo: 00000nx a2200025 45
001 1460263
100 ## $a20110513apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aEngrácia,$bPatrícia,$f1980-
400 #1 $aEngrácia,$bPatrícia da Conceição Martins$31460264
801 #0 $aPT$bBN
810 ## $aProof-theoretical studies on the bounded functional interpretation
830 ## $aDout. Matemática (Álgebra, Lógica e Fundamentos)
ver registos bibliográficos associados