LEADER 00948nam0-22003131i-450-
001 990001328030403321
005 20100519140625.0
010   $a0-8218-5110-1
035   $a000132803
035   $aFED01000132803
035   $a(Aleph)000132803FED01
035   $a000132803
100   $a20001205d1990----km-y0itay50------ba
101 0 $aeng
200 1 $aLogic and Computation$eProceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987$feditor Wilfried Sieg
210   $aProvidence$cAmerican Mathematical Society$dc1990
215   $aix, 297 p.$d24 cm
225 1 $aContemporary mathematics$v106
610 0 $aLogica$aElaborazione dati - congressi
676   $a511.3
702  1$aSieg,$bWilfried
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001328030403321
952   $aC-1-(106$b7817$fMA1
959   $aMA1
962   $a03-06
996   $aLogic and Computation$9376364
997   $aUNINA