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