LEADER 01004nam a2200277 i 4500
001 991001629159707536
008 060516s2004    it a     b    001 0 ita d
020   $a8843029002 (pbk.)
035   $ab13402195-39ule_inst
040   $aDip.to Matematica$beng
082 04$a511.3
084   $aAMS 03-01
100 1 $aPalladino, Dario$045082
245 10$aLogica e teorie formalizzate :$bcompletezza, incompletezza, indecidibilità /$cDario Palladino
260   $aRoma :$bCarocci,$c2004
300   $a202 p. ;$c22 cm
440  0$aUniversità ;$v487
504   $aIncludes bibliography (p. 197-198) and index
650  0$aLogic
650  0$aLogic, Symbolic and mathematical
907   $a.b13402195$b02-04-14$c16-05-06
912   $a991001629159707536
945   $aLE013 03-XX PAL11 (2004)$g1$i2013000202440$lle013$op$pE25.80$q-$rn$s-  $t1$u5$v0$w5$x0$y.i14253409$z19-06-06
996   $aLogica e teorie formalizzate$91039735
997   $aUNISALENTO
998   $ale013$b16-05-06$cm$da  $e-$fita$git $h0$i0