LEADER 01277cam0-22004331i-450-
001 990002558740403321
005 20061218133956.0
035   $a000255874
035   $aFED01000255874
035   $a(Aleph)000255874FED01
035   $a000255874
100   $a20030910d1965----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $ay-------101yy
200 1 $aFormal systems and recursive functions$eproceedings of the eighth logic colloquium, Oxford, July 1963$fedited by J. N. Crossley , M. A. E. Dummett
210   $aAmsterdam$cNorth Holland$d1965
215   $a320 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics
610 0 $aInsiemi
610 0 $aStrutture algebriche
610 0 $aLogica
610 0 $aRicorsivitą
676   $a516
676   $a160
702  1$aCrossley,$bJohn Newsome
702  1$aDummett,$bM.A.E.
710 12$aLogic Colloquium$d<8. ;$f1963 ;$eOxford>$0493303
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990002558740403321
952   $aMXXV-A-240$b34210$fMAS
952   $a7-079$b4718$fFI1
952   $aC-30-(39$b11001$fMA1
959   $aMAS
959   $aFI1
959   $aMA1
996   $aFormal systems and recursive functions$9437000
997   $aUNINA

LEADER 01198nam0-22003731i-450-
001 990004228800403321
005 20070727114749.0
035   $a000422880
035   $aFED01000422880
035   $a(Aleph)000422880FED01
035   $a000422880
100   $a19990604d2006----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $aa-------00-y-
200 1 $aTeramo e la valle del Tordino$fdi Francesco Aceto, Elisa Amorosi, Glauco Angeletti... [et al.]
210   $aTeramo$cFondazione Cassa di risparmio della provincia di Teramo ; Tercas Spa$d©2006
215   $a2 v. (847 p. compless.)$cill.$d34 cm
225 1 $aDocumenti dell'Abruzzo teramano$v7
300   $aIn custodia
610 0 $aTeramo$aStudi
610 0 $aArcheologia$aStudi
676   $a945.715$v21$zita
702  1$aFranchi dell'Orto,$bLuisa
702  1$aAmorosi,$bElisa
702  1$aAceto,$bFrancesco$f<1949- >
712 02$aCassa di risparmio della provincia di Teramo
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990004228800403321
952   $a945.71 DAT 7 (1-2)$bBibl. 56273$fFLFBC
959   $aFLFBC
996   $aTeramo e la valle del Tordino$9481928
997   $aUNINA