000 00302nam a22001337a 4500
008 170811b xxu||||| |||| 00| 0 eng d
020 _a0155511815
041 _aeng
080 _22ND
_a51
100 _a36
101 _aMAT
245 _aLOGIC TECHNIQUES FORMAL REASONING
_cKALISH,D
942 _2udc
_cBK
999 _c23254
_d23254