LEADER 01013nam0-2200373---450- 001 990008402310403321 005 20061017135417.0 010 $a0-387-30294-8 035 $a000840231 035 $aFED01000840231 035 $a(Aleph)000840231FED01 035 $a000840231 100 $a20061017d2006----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa---a---001yy 200 1 $a<>concise introduction to mathematical logic$fW. Rautenberg 205 $a2nd edit 210 $aNew York$cSpringer$dc2006 215 $axvii, 256 p.$d24 cm 225 1 $aUniversitext 610 0 $aLogica matematica$aFondamenti 610 0 $aProgrammazione logica 676 $a511.3$v21$zita 700 1$aRautenberg,$bWolfgang$057281 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008402310403321 952 $aC-6-(167-2ED$fMA1 959 $aMA1 962 $a03-XX 962 $a68N17 996 $aConcise introduction to mathematical logic$9725105 997 $aUNINA