LEADER 00906nam0-22003251i-450-
001 990001432250403321
010   $a0-387-94593-8
035   $a000143225
035   $aFED01000143225
035   $a(Aleph)000143225FED01
035   $a000143225
100   $a20000920d1996----km-y0itay50------ba
101 0 $aeng
200 1 $aFirst-Order Logic and Automated Theorem Proving$fMelvin Fitting
205   $a2nd ed.
210   $aNew York [etc.]$cSpringer-Verlag$d1996
215   $axvi, 326 p.$d23 cm
225 1 $aGraduate texts in computer science
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aFitting,$bMelvin$046831
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001432250403321
952   $a7-279.001$b5930$fFI1
959   $aFI1
996   $aFirst-Order Logic and Automated Theorem Proving$9337794
997   $aUNINA
DB    $aING01