000
00251nam a2200109 4500
008
160616s 000 0
245
_a
Logic and algorithms
100
_a
Korfhage, Robert R
500
_a
B31 K61
942
_c
BK
_2
BK4603
080
_a
510.6 KOR
999
_c
4603
_d
4603