Etiqueta de registo: 00775cam 2200205 450
001 1072380
003 http://id.bnportugal.gov.pt/bib/catbnp/1072380
005 20020422161200.0
100 ## $a20011206d2001 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aClasses of computational complexity$bTexto policopiado]$eimplicit characterizations$ea study in mathematical logic$fIsabel Maria Oitavem Fonseca da Rocha
210 #9 $aLisboa$c[s.n.],$d2001
215 ## $a93 p.$cil.$d30 cm$eCurriculum Vitae (4 p.)
320 ## $aBibliofgrafia, p. 91-93
328 ## $aTese dout. em Matemática na especialidade de Álgebra, Lógica e Fundamentos, Univ. Lisboa, 2001
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aRocha,$bIsabel Maria Oitavem Fonseca da$31024260
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 99971 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1698071
003 http://id.bnportugal.gov.pt/bib/catbnp/1698071
010 ## $a978-972-8564-42-1
021 ## $aPT$b248692/06
100 ## $a20081217d2006 k y0pory01030103ba
101 0# $aeng
102 ## $aPT
105 ## $ay z 100yy
106 ## $ar
200 1# $aProof interpretations$gFernando Ferreira.$cOrdinals, computations, and models of set theory$gPeter Koepke$etwo tutorials$fMeeting "Days in Logic '06"$ged. Reinhard Kahle, Isabel Oitavem
210 #9 $aCoimbra$cDepartamento de Matemática da Universidade de Coimbra,$d2006
215 ## $aV, 78, [3] p.$d24 cm
225 2# $aTextos de matemática$v38
675 ## $a510.6(042)$vBN$zpor$31684957
701 #1 $aKoepke,$bPeter$4070$31355718
701 #1 $aFerreira,$bFernando,$f1958-$4070$3812316
702 #1 $aKahle,$bReinhard,$f1967-$4340$31355722
702 #1 $aRocha,$bIsabel Maria Oitavem Fonseca da$4340$31024260
710 12 $aMeeting "Days in Logic '06",$d2,$eCoimbra,$f2006$31684368
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1698071&img=97084&save=true
900 ## $aBIBNAC$d20170818
966 ## $lBN$mFGMON$sS.A. 166193 V.$x1
966 ## $lBN$mFGMON$sS.A. 166193 V.-D$x1

Etiqueta de registo: 00000nam 2200025 450
001 1869315
003 http://id.bnportugal.gov.pt/bib/catbnp/1869315
100 ## $a20140407d2013 k y0pory01030103ba
101 0# $aeng$dporfre
102 ## $aPT E
105 ## $aa m 001yy
106 ## $ar
200 1# $aRevision based total semantics for extended normal logic programs$fMário António Rodrigues Grande Abrantes$gorient. Luís Manuel Sancho Moniz Pereira, Isabel Oitavem Rocha
210 #9 $aLisboa$c[s.n.],$d2013
215 ## $aXVI, 119 p.$cil.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 93-96
328 #1 $aTese dout. Matemática (Lógica e Fundamentos), Faculdade de Ciências e Tecnologia, Univ. Nova de Lisboa, 2013
675 ## $a510(043)$vBN$zpor$31225910
700 #1 $aAbrantes,$bMário António Rodrigues Grande,$f1962-$31019838
702 #1 $aPereira,$bLuís Moniz,$f1947-$4727$373262
702 #1 $aRocha,$bIsabel Maria Oitavem Fonseca da$4727$31024260
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 55792 P.$x1
966 ## $lBN$mFGMON$sS.A. 153541 V.$x1