LEADER 01511nam 2200385 450 001 000014331 005 20050718115500.0 010 $a3-540-15236-9 100 $a20030619d1985----km-y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aMethods in mathematical logic$eproceedings of the 6. Latin American Symposium on mathametical logic held in Caracas, Venezuela, August 1-6, 1983$fedited by C. A. Di Prisco 210 $aBerlin [etc.]$cSpringer$dc1985 215 $aVII, 407 p.$d25 cm. 225 2 $aLecture notes in mathematics$v1130 410 0$12001$aLecture notes in mathematics 606 $aLogica matematica$xCongressi 676 $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica) 691 $a03-XX$9Mathematical logic and foundation 702 1$aDi Prisco,$bCarlos Augusto 710 12$aLatin American symposium on mathematical logic$d<6.$f; 1983$e; Caracas>$0294979 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000014331 996 $aMethods in mathematical logic$980023 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT002$b01$c20030619$lBAS01$h1133 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1052 CAT $c20050718$lBAS01$h1111 CAT $c20050718$lBAS01$h1141 CAT $c20050718$lBAS01$h1155 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$658623$5S58623$820030619$f51$FRiservati