000
00286nam a2200121 4500
008
160616s 000 0
245
_a
Logic theory of formal inference
100
_a
Ambrose, Alice
100
_a
Lazerowitz, M
500
_a
B31 K13
942
_c
BK
_2
BK894
080
_a
510.6 AMB
999
_c
894
_d
894