000 | 00410nam a2200157Ia 4500 | ||
---|---|---|---|
008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
020 |
_aKBCS _c36.25 |
||
040 | _aMAIN | ||
082 | _a726 | ||
100 |
_aMANNA,ZOHAR, WALDINGER,RICHARD _937418 |
||
245 | 0 | _aLOGICAL BASIS FOR COMPUTER PROGRAMMING,VOL.1: DEDUCTIVE REASONING | |
250 | _a1 | ||
260 |
_bAW _c1985 _aMASSACHUSETTS |
||
300 | _b618 | ||
942 | _cBK | ||
999 |
_c44276 _d44276 |