000 00286nam a2200121 4500
008 160616s 000 0
245 _aLogic theory of formal inference
100 _aAmbrose, Alice
100 _aLazerowitz, M
500 _aB31 K13
942 _cBK
_2BK894
080 _a510.6 AMB
999 _c894
_d894