000			00336nam a2200121 4500
008			160616s 000 0
245			_aLogical basis for computer programming _bvol:Deductive reasoning, v.1
100			_aManna, Zohar
100			_aWaldinger, Richard
500			_aD6,8(B) M5.1
942			_cBK _2BK6720
080			_a681.3.06 MAN
999			_c6720 _d6720