Etiqueta de registo: 00623cam 2200217 450
001 1789135
003 http://id.bnportugal.gov.pt/bib/porbase/1789135
005 20030619054600.0
010 ## $a0-06-039039-5
035 ## $839743
095 ## $aPTBN00493635
100 ## $a19910613d1984 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
200 1# $aWeapons and hope$fFreeman Dyson
210 ## $aNew York$cCopophon Books/Harper & Row, Publishers,$dcop. 1984
215 ## $aVIII, 340 p.$d20 cm
500 10 $a57536
675 ## $a355.4(469)$vmed$zfre$3303085
700 #1 $aDyson,$bFreeman J.$3438962
801 #0 $aPT$bBN$gRPC
977 ## $1CERIE 355.4 D99w$2coop$4UACSD$6mq1317970$7bc$8coop$9UACSD$b57536E1$k0
998 ## $aUAC24-158

Etiqueta de registo: 00603cam 2200193 450
001 1753818
003 http://id.bnportugal.gov.pt/bib/porbase/1753818
005 20030621184800.0
035 ## $871626
095 ## $aPTBN00627545
100 ## $a19610405d1959 k y0pory0103 ba
101 0# $aeng
102 ## $aNL
200 1# $a<A >method in proofs of undefinability$ewith applications to functions in the arithmetic of natural numbers$fK. L. De Bouvére
210 ## $aAmsterdam$cNorth-Holland,$d1959
215 ## $a64 p.
675 ## $a510$vmed$zeng$3304667
700 01 $aBouvére,$bK. L. De$3783473
801 #0 $aPT$bBN$gRPC
977 ## $1CAVE-03-02/BOU$2coop$4UCMA$6mq3077968$7bc$8coop$9UCMA$k0
998 ## $aUCM8-1426