Etiqueta de registo: 00230nam 2200025 450
001 1779709
003 http://id.bnportugal.gov.pt/bib/catbnp/1779709
100 ## $a20110513d2009 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aProof-theoretical studies on the bounded functional interpretation$fPatrícia Engrácia$gorient. Fernando Correia
210 #9 $aLisboa$c[s.n.],$d2009
215 ## $a119 p.$cil.$d30 cm$ecurriculum vitae (3 p.)
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Matemática (Álgebra, Lógica e Fundamentos), Dep. de Matemática, Fac. de Ciências, Univ. de Lisboa, 2009
675 ## $a51(043)$vBN$zpor$3323829
700 #1 $aEngrácia,$bPatrícia,$f1980-$31460263
702 #1 $aFerreira,$bFernando Flávio Ribeiro Oliveira$4727$3180604
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 51108 P.$x1
966 ## $lBN$mFGMON$sS.A. 141499 V.$x1