LEADER 01014nam0-22003251i-450-
001 990000470510403321
005 20090218154811.0
010   $a3-54011212-X
035   $a000047051
035   $aFED01000047051
035   $a(Aleph)000047051FED01
035   $a000047051
100   $a20020821d1982----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $aLogics of programs$eworkshop, Yorktown Heights, New York, may 1981$fedited by Dexter Kozen
210   $aBerlin ; Heidelberg$cSpringer-Verlag$d1982
215   $a429 p.$cill.$d24 cm
225 1 $aLecture notes in computer science$v131
610 0 $aProgrammazione$aCongressi
676   $a519.7
702  1$aKozen,$bDexter$f<1951- >
710 12$aLogics of programs workshop$f<1981 ;$eYorktown Heights, New York>$0491519
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000470510403321
952   $a10 PRO 177$bDIS 7$fDINEL
959   $aDINEL
996   $aLogics of programs$9332010
997   $aUNINA