LEADER 00920nam0-22003251i-450-
001 990001109090403321
010   $a0-387-97233-1
035   $a000110909
035   $aFED01000110909
035   $a(Aleph)000110909FED01
035   $a000110909
100   $a20000920d1990----km-y0itay50------ba
101 0 $aeng
200 1 $aFirst-Order Logic and Automated Theorem Proving$fMelvin Fitting
210   $aNew York [etc.]$cSpringer-Verlag$d1990
215   $axiv, 242$d24 cm
225 1 $aText and Monographs in Computer Science
300   $aWith 26 illustrations.
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aFitting,$bMelvin$046831
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001109090403321
952   $a7-279$b18424$fFI1
959   $aFI1
996   $aFirst-Order Logic and Automated Theorem Proving$9337794
997   $aUNINA
DB    $aING01