LEADER 01589nam  2200433   450 
001 000015971
005 20050718115600.0
010   $a0-8247-7746-8
100   $a20030827d1987----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aMathematical logic and theoretical computer science$fedited by David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith
210   $aNew York [etc.]$cMarcel Dekker$dc1987
215   $aXVIII, 383 p.$d26 cm.
225 2 $aLecture notes in pure and applied mathematics$v106
410  0$12001$aLecture notes in pure and applied mathematics
606   $aLogica matematica
606   $aAlgebra
606   $aElaborazione elettronica
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a68-XX$9Computer science
691   $a03-XX$9Mathematical logic and foundation
702  1$aKueker,$bDavid W.
702  1$aLopez-Escobar,$bEdgar G. K.
702  1$aSmith,$bCarl H.
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000015971
996   $aMathematical logic and theoretical computer science$982794
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030827$lBAS01$h1122
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$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$663390$5S63390$820030827$f51$FRiservati