01009nam a2200289 i 450099100071075970753620020507172602.0951017s1982 de ||| | eng 5407112103b10746468-39ule_instLE01301075ExLDip.to Matematicaeng519.4Goldblatt, Robert47246Axiomatising the logic of computer programming /Robert GoldblattBerlin :Springer-Verlag,1982xi, 304 p. ;24 cm.Bibliography: p. 291-298.Includes indexProgramming languagesProof theory.b1074646821-09-0628-06-02991000710759707536LE013 68-XX GOL11 (1982)12013000037714le013-E0.00-l- 00000.i1083876428-06-02Axiomatising the logic of computer programming878440UNISALENTOle01301-01-95ma -engde 01