LEADER 00928nam0-22003011i-450-
001 990000994730403321
035   $a000099473
035   $aFED01000099473
035   $a(Aleph)000099473FED01
035   $a000099473
100   $a20000920d1967----km-y0itay50------ba
101 0 $afra
200 1 $aRecursivité, insaturation, decidabilité, constructabilité$fpar R. Fraissé
210   $a[S.l.]$cInstitut Blaise Pascal$d1967
225 1 $aCours de logique mathematique$vtome 2
300   $aIn testa al front.: Logique a l'usage du calculateur.
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aFraïssé,$bRoland$f<1920-2008>$0368367
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000994730403321
952   $a7-200$b10608$fFI1
959   $aFI1
996   $aRecursivité, insaturation, decidabilité, constructabilité$9354048
997   $aUNINA
DB    $aING01

LEADER 00923nam a2200265 i 4500
001 991002825289707536
005 20020509103507.0
008 930608s1992    it            ||| | ita  
020   $a8804361654
035   $ab11066568-39ule_inst
035   $aPARLA169793$9ExL
040   $aDip.to Scienze dell'Antichità$bita
100 1 $aMeleager$0467868
245 10$aEpigrammi /$cMeleagro ; a cura di Giulio Guidorizzi
260   $aMilano :$bA. Mondadori,$cc1992
300   $a138 p. ;$c20 cm
490 0 $aOscar classici greci e latini ;$v28
500   $aTesto greco a fronte.
700 1 $aGuidorizzi, Giulio
907   $a.b11066568$b23-02-17$c28-06-02
912   $a991002825289707536
945   $aLE007 880.1 Meleager 1992-01$g1$i2015000109392$lle007$o-$pE0.00$q-$rl$s-  $t0$u5$v4$w5$x0$y.i1119442x$z28-06-02
996   $aEpigrammi$9220403
997   $aUNISALENTO
998   $ale007$b01-01-93$cm$da  $e-$fita$git $h0$i1