LEADER 01798nam  2200433   450 
001 000016156
005 20050718115600.0
010   $a0-387-97667-1
100   $a20030903d1992----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aLogic from computer science$eproceedings of a workshop held November 13-17, 1989$fY. N. Moschovakis, editor
210   $aNew York [etc.]$cSpringer$dc1992
215   $aXI, 608 p.$cill.$d24 cm.
225 2 $aMathematical sciences research institute publications$v21
410  0$12001$aMathematical sciences research institute publications
606   $aLogica matematica$xCongressi
606   $aLogica simbolica$xCongressi
606   $aInformatica$xCongressi
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03-06$9Mathematical logic and foundation. Proceedings, conferences, collections, etc.
691   $a68-06$9Computer science. Proceedings, conferences, collections, etc.
691   $a68Qxx$9Computer science. Theory of computing
691   $a03D05$9Mathematical logic and foundations. Automata and formal grammars in connection with logical questions
702  1$aMoschovakis,$bYiannis N.
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000016156
996   $aLogic from computer science$982112
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030903$lBAS01$h1700
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$61267$5M1267$820030903$f51$FRiservati