LEADER 01009nam a2200289 i 4500
001 991000710759707536
005 20020507172602.0
008 951017s1982    de            ||| | eng  
020   $a5407112103
035   $ab10746468-39ule_inst
035   $aLE01301075$9ExL
040   $aDip.to Matematica$beng
082 0 $a519.4
100 1 $aGoldblatt, Robert$047246
245 10$aAxiomatising the logic of computer programming /$cRobert Goldblatt
260   $aBerlin :$bSpringer-Verlag,$c1982
300   $axi, 304 p. ;$c24 cm.
500   $aBibliography: p. 291-298.
500   $aIncludes index
650  4$aProgramming languages
650  4$aProof theory
907   $a.b10746468$b21-09-06$c28-06-02
912   $a991000710759707536
945   $aLE013 68-XX GOL11 (1982)$g1$i2013000037714$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10838764$z28-06-02
996   $aAxiomatising the logic of computer programming$9878440
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gde $h0$i1