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