LEADER 00850nam0-22002891i-450-
001 990001322730403321
010  1$a3-540-19129-1
035   $a000132273
035   $aFED01000132273
035   $a(Aleph)000132273FED01
035   $a000132273
100   $a20000920d--------km-y0itay50------ba
101  1$aeng
200 1 $aFoundations of logic and functional programming$eworkshop Trento, Italy, december 1986
210   $aBerlin [etc.]$cSpringer-Verlag
215   $aIX, 218 p.
225 1 $aLecture notes in computer science$v306
702  1$aBoscarol,$bMauro
702  1$aCarlucci Aiello,$bL.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001322730403321
952   $a122-(306$b6930$fMA1
959   $aMA1
996   $aFoundations of logic and functional programming$9382927
997   $aUNINA
DB    $aING01