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