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