LEADER 01086nam a2200277 a 4500 001 991003345169707536 008 080218s1998 it 000 0 ita d 020 $a8877505435 035 $ab13672551-39ule_inst 040 $aSet. Economia$bita 082 0 $a511.3 100 1 $aBen-Ari, Mordechai$05385 245 10$aLogica matematica per l'informatica /$cMordechai Ben-Ari ; edizione italiana a cura di Anna Labella 260 $aTorino :$bUTET Università ;$aNew York:$bPrentice hall international,$c1998 300 $axix, 309 p. ;$c24 cm 440 0$aMatematica 500 $aTraduzione di Uliano Paolozzi Balestrini 650 4$aLogica matematica $xInformatica 700 1 $aLabella, Anna 765 0 $tMathematical Logic for Computer Science 907 $a.b13672551$b02-04-14$c18-02-08 912 $a991003345169707536 945 $aLE025 ECO 511 MOR01.01$g1$i2025000117020$lle025$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i14676333$z21-02-08 996 $aLogica matematica per l'informatica$91214473 997 $aUNISALENTO 998 $ale025$b18-02-08$cm$da $e-$fita$git $h0$i0