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