LEADER 01046nam0-2200349li-450 
001 990000144110203316
005 20180312154715.0
010   $a3-540-53437-7
035   $a0014411
035   $aUSA010014411
035   $a(ALEPH)000014411USA01
035   $a0014411
100   $a20001109d1990----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aComputational logic$esymposium, proceedings Brussels, November 13-14, 1990$fJ.W. Lloyd, ed
210   $aBerlin [etc.]$cSpringer$dcopyr. 1990
610 1 $alogica matematica congressi 1990
610 1 $alogica simbolica congressi 1990
676   $a511.3$9.
702  1$aLloyd,$bJohn W.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000144110203316
951   $a511.3 COM$b0004737
959   $aBK
969   $aTEC
979   $c19940727
979   $c20001110$lUSA01$h1712
979   $c20020403$lUSA01$h1622
979   $aPATRY$b90$c20040406$lUSA01$h1611
996   $aComputational logic$91490021
997   $aUNISA