Etiqueta de registo: 00610cam 2200205 450
001 1754225
003 http://id.bnportugal.gov.pt/bib/porbase/1754225
005 20030621174800.0
035 ## $871112
095 ## $aPTBN00627026
100 ## $a19511217d1950 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
200 1# $a<A >theory of formal deducibility$fHaskell B. Curry
210 ## $aNotre Dame, Indiana$cUniversity of Notre Dame,$d1950
215 ## $a126 p
225 2# $aNotre Dame mathematical lectures$v6
675 ## $a510.6(043.2)$vmed$zeng$3292219
700 #1 $aCurry,$bHaskell B.$31414482
801 #0 $aPT$bBN$gRPC
977 ## $1CAVE-03B/CUR.The$2coop$4UCMA$6mq3077531$7bc$8coop$9UCMA$k0
998 ## $aUCM7-767