000 00516nam a2200193Ia 4500
001 794
003 VCFW
005 20190307011511.0
008 120823b ii ||||| |||| 00| 0 eng d
020 _a0070323216
024 _2[RecID from old SOUL v2 database]
_a794
041 _aVCFW
_cIN-KoLT
100 _aJeffrey, Richard.
245 0 _aFormal logic :
_bits scope and limits /
_cRichard Jeffrey .
260 _aNew Yrok:
_bMcGraw Hill Book,
_c1989
300 _axiv, 198p.
653 _aLogic
942 _2ddc
_cBK
999 _c17058
_d17058