LEADER 01069nam--2200349---450-
001 990000350780203316
035   $a0035078
035   $aUSA010035078
035   $a(ALEPH)000035078USA01
035   $a0035078
100   $a20010307d1982----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aAxiomatising the logic of computer programming$fRobert Goldblatt
210   $aBerlin$cSpringer Verlag$d1982
215   $aXI, 304 p.$cgraf.$d24 cm
225 2 $aLecture notes in computer science$v130
410  1$12001$aLecture notes in computer science$v130
461  1$1001-------$12001
676   $a001.642
700  1$aGOLDBLATT,$bRobert$047246
801  0$aIT$bsalbc$gISBD
912   $a990000350780203316
951   $a001 LNCS 130$b2817 SM$c001 LNCS$d00101514
959   $aBK
969   $aSCI
979   $aTAMI$b40$c20010307$lUSA01$h1103
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aAxiomatising the logic of computer programming$9878440
997   $aUNISA