00754nam a2200229 a 450000100060000000300080000600500170001400800410003102000150007203500190008704000350010604100080014108200240014910000210017324500950019426000420028930000250033150400410035665000400039765000310043783000560046868490BD-RjUL20211209081759.0170403s1986    nyu      b    001 0 eng d  a0060422254  a(BD-RjUL)68700  cBD-RjULdBD-RjULbengaBD-RjUL  aeng00a511.3223bGAL 19861 aGallier, Jean H.10aLogic for computer science :bfoundations of automatic theorem proving /cJean H. Gallier.  aNew York, NY :bHarper & Row,cc1986.  axv, 511 p. ;c25 cm.  aIncludes bibliographies and indexes. 0amathematical Logic (Symbolic Logic) 0aAutomatic theorem proving.  aHarper & Row computer science and technology series