LEADER 01201nam a2200325 i 4500
001 991001096719707536
005 20020507183210.0
008 951017s1982    de            ||| | eng  
020   $a354011212X
035   $ab10800426-39ule_inst
035   $aLE01306959$9ExL
040   $aDip.to Matematica$beng
082 0 $a519.7
084   $aAMS 68-06
084   $aAMS 68-XX
100 1 $aKozen, Dexter$0535967
245 10$aLogics of Programs Workshop, Yorktown Heights, New York, May 1981 /$cedited by Dexter Kozen
260   $aBerlin :$bSpringer-Verlag,$c1982
300   $avi, 429 p. :$bill. ;$c24 cm.
500   $aIncludes bibliographies
650  4$aComputer programs$xCongresses
650  4$aComputer science$xCongresses
650  4$aElectronic digital computers$xCongresses
650  4$aSymbolic logic$xCongresses
907   $a.b10800426$b21-09-06$c28-06-02
912   $a991001096719707536
945   $aLE013 68-XX KOZ11 (1982)$g1$i2013000037677$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i1090427x$z28-06-02
996   $aLogics of Programs Workshop, Yorktown Heights, New York, May 1981$9925476
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gde $h0$i1