LEADER 01236nam0-22003851i-450-
001 990001495500403321
005 20121015190030.0
010   $a0-8218-1364-1
035   $a000149550
035   $aFED01000149550
035   $a(Aleph)000149550FED01
035   $a000149550
100   $a20020718d1999----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---101yy
200 1 $aAdvances in contemporary logic and computer science$eproceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1966, Salvador, Bahia, Brazil$fW.A. Carnielli, I. M. D'Ottaviano, editors
210   $aProvidence$cAmerican Matematical Society$dc1999
215   $axi, 326 p.$d24 cm
225 1 $aContemporary mathematics$v235
610 0 $aLogica matematica
610 0 $aLogica del calcolatore
676   $a005.1$v21
702  1$aCarnielli,$bWalter Alexandre
702  1$aLoffredo D'ottaviano,$bItala M.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001495500403321
952   $aC-1-(235$b17175$fMA1
959   $aMA1
962   $a03-XX
962   $a03-06
962   $a00B25
996   $aAdvances in contemporary logic and computer science$9377603
997   $aUNINA