| 000 | 00424nam a2200169Ia 4500 | ||
|---|---|---|---|
| 082 |
_a518.542 _bG618.AL |
||
| 100 | _aGoldblatt, Robert | ||
| 245 |
_aAxiomatising the logic of computer programming _b |
||
| 260 |
_aBerlin _bSpringer-Verlag _c1982 |
||
| 300 | _axi, 304p. Index | ||
| 490 |
_aLecture notes in Computer Science _v 130 |
||
| 500 | _a | ||
| 690 | _a | ||
| 700 | _a | ||
| 964 |
_a _b _c _d _e _f _g |
||
| 921 | _a12423 | ||
| 999 |
_c12423 _d12423 |
||