LEADER 01142nam0-22003491i-450-
001 990001315200403321
005 20031029115424.0
010   $a0-387-97667-1
035   $a000131520
035   $aFED01000131520
035   $a(Aleph)000131520FED01
035   $a000131520
100   $a20001205d1991----km-y0itay50------ba
101 0 $aeng
200 1 $aLogic from computer science$eproceedings of a workshop held november 13-17, 1989$feditor Yiannis N. Moschovakis
210   $aNew York$cSpringer-Verlag$dc1991
215   $aXI, 608 p.$d24 cm
225 1 $aMathematical Sciences Research Institute publications$v21
610 0 $aLogica$aSimbolica$aCongressi
610 0 $aLogica$aMatematica$aCongressi
610 0 $aComputer science$aCongressi
676   $a511.3
702  1$aMoschovakis,$bYiannis Nicholas
710 12$aWorkshop on logic from computer science$f<1989 ;$eBerkeley, California>$0350418
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001315200403321
952   $aC-38-(21$b9172$fMA1
959   $aMA1
962   $a03-06
996   $aLogic from computer science$9382661
997   $aUNINA