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

LEADER 01270nam--2200421---450-
001 990006045380203316
005 20150603152312.0
010   $a88-7964-012-7
035   $a000604538
035   $aUSA01000604538
035   $a(ALEPH)000604538USA01
035   $a000604538
100   $a20150603d1994----km-y0itay50------ba
101   $aita
102   $aIT
105   $a||||||||001yy
200 1 $aAttenzione al potenziale!$eil gioco della letteratura$fa cura di Brunella Eruli$gtesti di Paolo Albani ... [et al.] e un inedito di Georges Perec
210   $aFirenze$cM. Nardi$dc1994
215   $aVI, 281 p.$cill.$d21 cm.
225 2 $aContemporanea
300   $aTrad. di Piero Colombi
410  0$12001$aContemporanea
454  1$12001
461  1$1001-------$12001
606 0 $aLetteratura italiana$z1973-1990
676   $a840.900914
702  1$aERULI,$bBrunella
702  1$aALBANI,$bPaolo
702  1$aPEREC,$bGeorges
801  0$aIT$bsalbc$gISBD
912   $a990006045380203316
951   $aXVII.B. 626$b5838 DLM$cXVII.B.$d380595
959   $aBK
969   $aDILAM
979   $aRIVELLI$b90$c20150603$lUSA01$h1512
979   $aRIVELLI$b90$c20150603$lUSA01$h1523
996   $aAttenzione al potenziale$91076422
997   $aUNISA