00890cam a2200277 a 4500 2386678 BD-DhUL 20140823174126.0 850613s1986 nyu b 001 0 eng 85014071 0060422254 DLC BD-DhUL BD-DhUL QA76.9.A96 G35 1986 511.3 19 GAL Gallier, Jean H. Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. New York, NY : Harper & Row, c1986. xv, 511 p. ; 25 cm. GBP 16.50 Harper & Row computer science and technology series Includes bibliographies and indexes. Automatic theorem proving. Logic, Symbolic and mathematical. 7 cbc orignew 1 ocip 19 y-gencatlg ddc BK 5354 5354 0 0 ddc 0 511_300000000000000_GAL 0 NFIC 9302 DUSL DUSL GEN 1990-02-22 purchased 511.3 GAL 314615 2014-08-23 1 2014-08-23 BK 0 0 ddc 0 511_300000000000000_GAL 0 NFIC 9303 DUSL DUSL GEN 1990-02-22 purchased 511.3 GAL 314616 2014-08-23 2 2014-08-23 BK