LEADER 01843nam  2200457   450 
001 000014478
005 20050718115500.0
010   $a3-540-10708-8
100   $a20030624d1981----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aLogic year 1979-80$ethe University of Connecticut, USA$fedited by M. Lerman, J. H. Schmerl, and R. I. Soare
210   $aBerlin [etc.]$cSpringer$d1981
215   $aVI, 326 p.$d25 cm.
225 2 $aLecture notes in mathematics$v859
410  0$12001$aLecture notes in mathematics
606   $aLogica matematica$xCongressi
606   $aLogica simbolica$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   $a03Dxx$9Mathematical logic and foundations. Computability and recursion theory
691   $a03F30$9Mathematical logic and foundations. Proof theory and constructive mathematics. First-order arithmetic and fragments
691   $a03G30$9Algebraic logic. Categorical logic, topoi
702  1$aLerman,$bM.
702  1$aSchmerl,$bJ. H.
702  1$aSoare,$bR. I.
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000014478
996   $aLogic year 1979-80$980606
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030624$lBAS01$h1105
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$632062$5S32062$820030624$f51$FRiservati