Etiqueta de registo: 00579cam 2200205 450
001 1753697
003 http://id.bnportugal.gov.pt/bib/porbase/1753697
005 20030621190300.0
035 ## $871762
095 ## $aPTBN00627681
100 ## $a19650326d1964 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
200 1# $aHierarchies of predicates of finite types$fD. A. Clarke
210 ## $aProvidence$cAMS,$d1964
215 ## $a95 p
225 2# $aMemoirs of the American Mathematical Society$v51
675 ## $a510.63$vmed$zeng$3779233
700 #1 $aClarke,$bD. A.$3783553
801 #0 $aPT$bBN$gRPC
977 ## $1XXII. 07$2coop$4UCMA$6mq3078086$7bc$8coop$9UCMA$k0
998 ## $aUCM8-1588

Etiqueta de registo: 00581cam 2200205 450
001 1753694
003 http://id.bnportugal.gov.pt/bib/porbase/1753694
005 20030621190400.0
035 ## $871766
095 ## $aPTBN00627685
100 ## $a19520627d1941 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
200 1# $a<The >calculi of lambda-conversion$fAlonzo Church
210 ## $aPrinceton$cPrinceton University Press,$d1941
215 ## $a82 p
225 2# $aAnnals of mathematics studies$v6
675 ## $a510$vmed$zeng$3304667
700 #1 $aChurch,$bAlonzo$31409670
801 #0 $aPT$bBN$gRPC
977 ## $1CAVE-03B/CHU$2coop$4UCMA$6mq3078091$7bc$8coop$9UCMA$k0
998 ## $aUCM8-1593

Etiqueta de registo: 00886cam 02200253 04500
001 1750699
003 http://id.bnportugal.gov.pt/bib/porbase/1750699
005 20030622012600.0
035 ## $875732
095 ## $aPTBN00633112
100 ## $a19920326d1991 km u0pory0103 ba
101 0# $apor
102 ## $aPT
200 1# $aNutrição na gravidez$erecomendações gerais$fMaria José Aragäo, Rui Sacadura
210 ## $a[S.l.$cs.n.],$d1991$ePorto :$gTip. Costa Carregal)
215 ## $a3 p.$d30 cm
305 ## $aSep. de "Jornal do Médico", 131(2416)
320 ## $aBibliografia: p. 3
675 ## $a618.3$vBN$zpor$3297750
700 #1 $aAragão,$bMaria José$3228288
701 #1 $aSacadura,$bRui$4070$3228289
801 #0 $aPT$bBN$gRPC
977 ## $1L4-11-66(2)$2coop$31$4BPMP$691d11.480$7bc$8COOP$9BPMP$b91d11.480$h9111$k0
977 ## $15-16-19-8$2coop$4UCBG$6mq1370041$7bc$8coop$9UCBG$b249371-D$k0
977 ## $15-16-19-16$2coop$4UCBG$6mq1370042$7bc$8coop$9UCBG$b249365-D$k0
998 ## $aUCB37-965