| 000 | 00525 a2200181 4500 | ||
|---|---|---|---|
| 008 | 110605s9999 xx 000 0 eng d | ||
| 240 | 1 | 0 | _a32.971-018/M-25 |
| 020 |
_a0201182602 _c3000 |
||
| 084 |
_a32.971-018 _bM-25 |
||
| 100 | 1 | _aManna Z. | |
| 245 | 1 | 0 | _aThe logical basis for computer programming:Deductive reasoning |
| 260 |
_bAddison Wesley publishing company _c1985 |
||
| 300 | _a618 | ||
| 653 | _acomputer programming | ||
| 653 | _amathematical logic | ||
| 653 | _atheories with induction | ||
| 700 | 1 | _aWaldinger R. | |
| 999 |
_c4281 _d4281 |
||