Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00230nam 2200025 450 001 1690561 003 http://id.bnportugal.gov.pt/bib/catbnp/1690561 100 ## $a20080901d2006 k y0pory0103 ba 101 0# $apor$deng 102 ## $aPT 105 ## $ay m 000yy 106 ## $ar 200 1# $aSistemas de análise fraca para a integração$bTexto policopiado]$fGilda Maria Saraiva Dias Ferreira$gorient. Fernado Jorge Inocêncio Ferreira 210 #9 $aLisboa$c[s.n.],$d2006 215 ## $aVIII, 142, [2] p.$d30 cm $ecurriculum vitae (3 f.) 320 ## $aBibliografia, p. 139-142 328 #0 $bTese dout.$cMatemática (Álgebra, Lógica e Fundamentos)$eDep. de Matemática, Fac. de Ciências, Univ. de Lisboa$d2006 675 ## $a510.6(043)$vBN$zpor$31303923 675 ## $a511.1(043)$vBN$zpor$31342986 675 ## $a512.5(043)$vBN$zpor$31263240 675 ## $a519.6(043)$vBN$zpor$31220290 700 #1 $aFerreira,$bGilda Maria Saraiva Dias,$f1976-$31340884 702 #1 $aFerreira,$bFernando Jorge Inocêncio$4727$31340882 712 02 $aUniversidade de Lisboa.$bFaculdade de Ciências.$bDepartamento de Matemática$4295$3142111 801 #0 $aPT$bBN$gRPC 966 ## $lBN$mFGMON$sS.A. 121719 V.$x1
Etiqueta de registo: 00000nam 2200025 450 001 2035575 003 http://id.bnportugal.gov.pt/bib/catbnp/2035575 100 ## $a20191204d2019 k y0pory01030103ba 101 0# $aeng$dpor 102 ## $aPT 105 ## $ay m 000yy 106 ## $ar 200 1# $aProof mining with the bounded functional interpretation$fPedro Pinto$gorient. Fernando Jorge Inocêncio Ferreira 210 #9 $aLisboa$c[s.n.],$d2019 215 ## $aXII, 143 p.$d30 cm$ecurriculum vitae ([4] p.) 300 ## $aAcesso não autorizado por um periodo de 3 anos 328 #1 $aTese dout. Matemática (Álgebra, Lógica e Fundamentos), Fac. de Ciências, Univ. de
Lisboa, 2019 675 ## $a512(043)$vBN$zpor$3297302 700 #1 $aPinto,$bPedro,$f1989-$31770145 702 #1 $aFerreira,$bFernando Jorge Inocêncio$4727$31340882 801 #0 $aPT$bBN$gRPC 966 ## $lBN$mFGMON$sS.A. 173757 V.$x1
|
|
|