000 00279nam a2200109 4500
008 160616s 000 0
245 _aLogic of programming and calculi of discrete design
100 _aBroy, M
500 _aD6,8(B) M736
942 _cBK
_2BK6369
080 _a681.3.04 BRO
999 _c6369
_d6369