LEADER 01426nam 2200409 450 001 000015196 005 20050718115600.0 010 $a0-387-90895-1 100 $a20030722d1984----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $aMathematical logic$fH.-D. Ebbinghaus, J. Flum, W. Thomas 210 $aNew York [etc.]$cSpringer$dc1984 215 $aIX, 216 p.$d25 cm. 225 2 $aUndergraduate texts in mathematics 410 0$12001$aUndergraduate texts in mathematics 606 $aLogica simbolica 606 $aLogica matematica 676 $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica) 691 $a03-01$9Mathematical logic and foundations. Instructional exposition 700 1$aEbbinghaus,$bHeinz-Dieter$046491 701 1$aFlum,$bJörg$0756957 701 1$aThomas,$bW.$0441709 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000015196 996 $aMathematical logic$91527100 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT003$b01$c20030722$lBAS01$h1715 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1052 CAT $c20050718$lBAS01$h1111 CAT $c20050718$lBAS01$h1141 CAT $c20050718$lBAS01$h1156 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$667550$5S67550$820030722$f51$FRiservati