01069nam--2200349---450-9900003507802033160035078USA010035078(ALEPH)000035078USA01003507820010307d1982----km-y0itay0103----baengDE||||||||001yyAxiomatising the logic of computer programmingRobert GoldblattBerlinSpringer Verlag1982XI, 304 p.graf.24 cmLecture notes in computer science1302001Lecture notes in computer science130001-------2001001.642GOLDBLATT,Robert47246ITsalbcISBD990000350780203316001 LNCS 1302817 SM001 LNCS00101514BKSCITAMI4020010307USA01110320020403USA011643PATRY9020040406USA011624Axiomatising the logic of computer programming878440UNISA