000 00890cam a2200277 a 4500
001 2386678
003 BD-DhUL
005 20140823174126.0
008 850613s1986 nyu b 001 0 eng
010 _a 85014071
020 _a0060422254
040 _aDLC
_cBD-DhUL
_dBD-DhUL
050 0 0 _aQA76.9.A96
_bG35 1986
082 0 0 _a511.3
_219
_bGAL
100 1 _aGallier, Jean H.
245 1 0 _aLogic for computer science :
_bfoundations of automatic theorem proving /
_cJean H. Gallier.
260 _aNew York, NY :
_bHarper & Row,
_cc1986.
300 _axv, 511 p. ;
_c25 cm.
365 _aGBP
_b16.50
440 0 _aHarper & Row computer science and technology series
504 _aIncludes bibliographies and indexes.
650 0 _aAutomatic theorem proving.
650 0 _aLogic, Symbolic and mathematical.
906 _a7
_bcbc
_corignew
_d1
_eocip
_f19
_gy-gencatlg
942 _2ddc
_cBK
999 _c5354
_d5354