LEADER 01512nam 2200433 450 001 000015205 005 20050718115600.0 010 $a0-387-94258-0 100 $a20030722d1994----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $aMathematical logic$fH.-D. Ebbinghaus, J. Flum, W. Thomas 205 $a2. ed. 210 $aNew York [etc.]$cSpringer$dc1994 215 $aX, 289 p.$d25 cm. 225 2 $aUndergraduate texts in mathematics 300 $aTit. orig.: Einführung in die mathematische Logik 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 $a000015205 996 $aMathematical logic$91527100 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT003$b01$c20030722$lBAS01$h1813 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$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$63436$5M3436$820030722$f51$FRiservati