LEADER 01962nam  2200457   450 
001 000015814
005 20050718115600.0
010   $a0-8247-1970-0
100   $a20030804d1999----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aModels, algebras, and proofs$eselected papers of the 10. Latin American Symposium on Mathematical Logic held in Bogotį$fedited by Xavier Caicedo, Carlos H. Montenegro
210   $aNew York [etc.]$cMarcel Dekker$dc1999
215   $aXIII, 448 p.$d26 cm.
225 2 $aLecture notes in pure and applied mathematics$v203
410  0$12001$aLecture notes in pure and applied mathematics
606   $aLogica matematica$xCongressi
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03-06$9Mathematical logic and foundation. Proceedings, conferences, collections, etc.
691   $a03Cxx$9Mathematical logic and foundations. Model theory
691   $a03Exx$9Mathematical logic and foundations. Set theory
691   $a03Fxx$9Mathematical logic and foundations. Proof theory and constructive mathematics
702  1$aCaicedo,$bXavier
702  1$aMontenegro,$bCarlos H.
710 12$aLatin American symposium on mathematical logic$d<10.$f; 1996$e; Bogotį>$0441885
801  0$aIT$bUniversitą della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000015814
996   $aModels, algebras, and proofs$982940
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030804$lBAS01$h1700
CAT   $aEXT003$b01$c20030804$lBAS01$h1702
CAT   $aEXT003$b01$c20030901$lBAS01$h1615
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1112
CAT   $c20050718$lBAS01$h1142
CAT   $c20050718$lBAS01$h1156
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$65021$5M5021$820030804$f51$FRiservati